@inproceedings{DBLP:conf/icse/PonsB02,
author = {Claudia Pons and
Gabriel Baum},
title = {Reasoning about the correctness of software development
process},
booktitle = {ICSE},
year = {2002},
pages = {708},
ee = {http://doi.acm.org/10.1145/581339.581459},
crossref = {DBLP:conf/icse/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icse/2002,
title = {Proceedings of the 22rd International Conference on Software
Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida,
USA},
booktitle = {ICSE},
publisher = {ACM},
year = {2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2007-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
