%0 Conference Paper %1 conf/serp/AndersonB08 %A Anderson, Kenneth M. %A Bucuvalas, Steven %B Software Engineering Research and Practice %D 2008 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %K dblp %P 95-101 %T Modeling Software Systems with Decidable Semantics: Implications on Software Quality Assurance. %U http://dblp.uni-trier.de/db/conf/serp/serp2008.html#AndersonB08 %@ 1-60132-088-4

@inproceedings{conf/serp/AndersonB08, added-at = {2016-08-03T00:00:00.000+0200}, author = {Anderson, Kenneth M. and Bucuvalas, Steven}, biburl = {https://www.bibsonomy.org/bibtex/28b33123b361d710570135fc1e6f8b15d/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2008}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {cba2aac150ba8cf239b25a2a13514942}, intrahash = {8b33123b361d710570135fc1e6f8b15d}, isbn = {1-60132-088-4}, keywords = {dblp}, pages = {95-101}, publisher = {CSREA Press}, timestamp = {2016-08-04T11:37:57.000+0200}, title = {Modeling Software Systems with Decidable Semantics: Implications on Software Quality Assurance.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2008.html#AndersonB08}, year = 2008 }