Using Meta-Level Compilation to Check FLASH Protocol Code
Operating Systems Review (ACM) - United States
doi 10.1145/384264.379002
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 2000
Authors
Publisher
Association for Computing Machinery (ACM)