Algebraic methods for specification and formal development of programs

Donald Sannella, Andrzei Tarlecki

Research output: Contribution to journalArticlepeer-review

Abstract

This note gives our personal perspective on the state of foundations of software specification and development including applications to the formal development of reliable complex software systems.
Original languageEnglish
Article number10
JournalACM Computing Surveys
Volume31
Issue number3es
DOIs
Publication statusPublished - 1 Sep 1999

Fingerprint

Dive into the research topics of 'Algebraic methods for specification and formal development of programs'. Together they form a unique fingerprint.

Cite this