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