Nevin Heintze, Joxan Jaffar, Razvan Voicu. Conditional Analysis and Verification. In The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings. pages 33-49, 2000.
@inproceedings{HeintzeJV00,
title = {Conditional Analysis and Verification},
author = {Nevin Heintze and Joxan Jaffar and Razvan Voicu},
year = {2000},
tags = {analysis},
researchr = {https://researchr.org/publication/HeintzeJV00},
cites = {0},
citedby = {0},
pages = {33-49},
booktitle = {The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings},
}