Work

A Tutorial on Functional Program Verification

Year: 2010

Type: article

Source: scholarworks - UTEP (The University of Texas at El Paso)

Authors: Yoonsik Cheon, Melisa Vela

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W58471515

FWCI: 1.306

Cites: 3

Cited by: 2

Related to: 10