skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Formal verification of a realistic compiler

Communications of the ACM, 2009-07, Vol.52 (7), p.107-115

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0001-0782 ;EISSN: 1557-7317 ;DOI: 10.1145/1538788.1538814

Digital Resources/Online E-Resources

Citations Cited by
Back to results list
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait