Skip to main content
MetaHistoryBook
Browse
Today
Discover
Create
Language
English
Cymraeg
Towards Verified Systems
1994 book
By
Jonathan Bowen
Wikidata (Q105938635) ↗
About
Related works
Applications of Formal Methods
Work
Provably Correct Systems
Work