Pinnacles of software engineering: 25 years of formal methods

DOI10.1023/A:1018983515535zbMath1012.68565OpenAlexW1810732680MaRDI QIDQ1859528

Dines Bjørner

Publication date: 19 February 2003

Published in: Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018983515535

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01) History of computer science (68-03)

Related Items (1)

ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING

Uses Software

• Unnamed Item

This page was built for publication: Pinnacles of software engineering: 25 years of formal methods