@inproceedings{DBLP:conf/serp/AndersonB08,
author = {Kenneth Anderson and
Steven Bucuvalas},
title = {Modeling Software Systems with Decidable Semantics: Implications
on Software Quality Assurance},
booktitle = {Software Engineering Research and Practice},
year = {2008},
pages = {95-101},
crossref = {DBLP:conf/serp/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/serp/2008,
editor = {Hamid R. Arabnia and
Hassan Reza},
title = {Proceedings of the 2008 International Conference on Software
Engineering Research {\&} Practice, SERP 2008, July 14-17,
2008, Las Vegas Nevada, USA, 2 Volumes},
booktitle = {Software Engineering Research and Practice},
publisher = {CSREA Press},
year = {2008},
isbn = {1-60132-088-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
