HOME
UP
 
PREV
FURTHER NOTES
NEXT (FOR CORRECT TYPESETTING PLEASE SEE PREVIOUS SLIDE)
Synthesis from Formal Specification
Fragments: compilation from formal specifications.
(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.