%0 Conference Paper %1 conf/seke/CiancariniCM96 %A Ciancarini, Paolo %A Cimato, Stelvio %A Mascolo, Cecilia %B SEKE %D 1996 %I Knowledge Systems Institute %K dblp %P 385-392 %T Engineering Formal Requirements: Analysis and Testing. %U http://dblp.uni-trier.de/db/conf/seke/seke1996.html#CiancariniCM96 %@ 0-9641699-3-2

@inproceedings{conf/seke/CiancariniCM96, added-at = {2014-12-04T00:00:00.000+0100}, author = {Ciancarini, Paolo and Cimato, Stelvio and Mascolo, Cecilia}, biburl = {https://www.bibsonomy.org/bibtex/24bdcb6de23e4a9c3e5b876def2dffb32/dblp}, booktitle = {SEKE}, crossref = {conf/seke/1996}, interhash = {6d4551613478473c9b3ffcb0fc08f965}, intrahash = {4bdcb6de23e4a9c3e5b876def2dffb32}, isbn = {0-9641699-3-2}, keywords = {dblp}, pages = {385-392}, publisher = {Knowledge Systems Institute}, timestamp = {2015-06-18T12:22:55.000+0200}, title = {Engineering Formal Requirements: Analysis and Testing.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke1996.html#CiancariniCM96}, year = 1996 }