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