HOME       UP       PREV       FURTHER NOTES       NEXT (Synthesis/Refinement from Formal Specifications)  

Synthesis from Formal Specification


Fragments: compilation from formal specifications.

46: (C) 2012-17, DJ Greaves, University of Cambridge, Computer Laboratory.