HOME
UP
 
PREV
FURTHER NOTES
NEXT (Synthesis/Refinement from Formal Specifications)
Synthesis from Formal Specification
Fragments: compilation from formal specifications.
54: (C) 2012-18, DJ Greaves, University of Cambridge, Computer Laboratory.