Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19
Add to Reading List
Document Date: 2010-12-15 21:35:48
Open Document
File Size: 137,41 KB
Share Result on Facebook
Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19