Assembling a prehistory for formal methods: a personal view

DOI10.1007/s00165-019-00494-zzbMath1427.68009OpenAlexW2975171881WikidataQ127208854 ScholiaQ127208854MaRDI QIDQ2280210

Thomas Haigh

Publication date: 18 December 2019

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-019-00494-z

zbMATH Keywords

historyformal methods

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03) Theory of computing (68Qxx)

Cites Work

• A science of operations. Machines, logic and the invention of programming.
• Advanced course on software engineering
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Assembling a prehistory for formal methods: a personal view