Academic
Publications
Compiler verification: a bibliography

Compiler verification: a bibliography,10.1145/966221.966235,ACM Sigsoft Software Engineering Notes,Maulik A. Dave

Compiler verification: a bibliography   (Citations: 46)
BibTex | RIS | RefWorks Download
Journal: ACM Sigsoft Software Engineering Notes , vol. 28, no. 6, pp. 2-2, 2003
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: