Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark Heinrich
Using Meta-level Compilation to Check FLASH Protocol Code
ASPLOS, 2000.
@inproceedings{ASPLOS-2000-ChouCEH,
author = "Andy Chou and Benjamin Chelf and Dawson R. Engler and Mark Heinrich",
booktitle = "{Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems}",
doi = "10.1145/356989.356995",
isbn = "1-58113-317-0",
pages = "59--70",
publisher = "{ACM Press}",
title = "{Using Meta-level Compilation to Check FLASH Protocol Code}",
year = 2000,
}