Login
- Titel:
Applied Verification: The Ptolemy Approach
- Dokumenttyp:
- Technical Report
- Autor(en):
- Cheng, Chih-Hong; Fristoe, Teale; Lee, Edward A.
- Beauftragende Einrichtung:
- EECS department, University of California at Berkeley
- Verlagsort:
- Berkeley, USA
- Jahr:
- 2008
BibTeX