Occam: Specification and Compiler Correctness - Part I: The Primary Model (1994)

Cached

Download Links

by Egon Börger , Igor Durdanovic , Igor D Urd , Dean Rosenzweig
Venue:In IFIP 13th World Computer Congress, Volume I: Technology/Foundations
Citations:7 - 0 self