%0 Conference Paper %1 conf/sew/GrosuFSB11 %A Grosu, Radu %A Fenton, Flavio H. %A Smolka, Scott A. %A Bartocci, Ezio %B SEW %D 2011 %E Rash, James L. %E Rouff, Christopher A. %I IEEE Computer Society %K %P 69-76 %T A Change of Perspective Yields Formal Analysis. %U http://dblp.uni-trier.de/db/conf/sew/sew2011.html#GrosuFSB11 %@ 978-0-7695-4627-8

@inproceedings{conf/sew/GrosuFSB11, added-at = {2023-12-13T08:48:58.000+0100}, author = {Grosu, Radu and Fenton, Flavio H. and Smolka, Scott A. and Bartocci, Ezio}, biburl = {https://www.bibsonomy.org/bibtex/21ca0b03e970e2df3bbe6fb334a08d63a/admin}, booktitle = {SEW}, crossref = {conf/sew/2011}, editor = {Rash, James L. and Rouff, Christopher A.}, ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2011.16}, interhash = {c7b93adcea762f502c1cfd8f6a771f19}, intrahash = {1ca0b03e970e2df3bbe6fb334a08d63a}, isbn = {978-0-7695-4627-8}, keywords = {}, pages = {69-76}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:48:58.000+0100}, title = {A Change of Perspective Yields Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2011.html#GrosuFSB11}, year = 2011 }