Login
- Title:
Applied Verification: The Ptolemy Approach
- Document type:
- Technical Report
- Author(s):
- Cheng, Chih-Hong; Fristoe, Teale; Lee, Edward A.
- Contracting organization:
- EECS department, University of California at Berkeley
- Publisher address:
- Berkeley, USA
- Year:
- 2008
BibTeX