Work

Formal program development

Year: 2011

Type: book-chapter

Source: Monographs in theoretical computer science

DOI: 10.1007/978-3-642-17336-3_7

Authors: Donald Sannella, Andrzej Tarlecki

Institutions: University of Edinburgh, Institute of Computer Science, University of Warsaw, Polish Academy of Sciences

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W348229239

FWCI: 1.725

Cites:

Cited by: 2

Related to: 10