%0 Conference Paper %1 conf/fiw/Logrippo00 %A Logrippo, Luigi %B FIW %D 2000 %E Calder, Muffy %E Magill, Evan H. %I IOS Press %K dblp %P 9-13 %T Immaturity and Potential of Formal Methods: A Personal View. %U http://dblp.uni-trier.de/db/conf/fiw/fiw2000.html#Logrippo00 %@ 1-58603-065-5

@inproceedings{conf/fiw/Logrippo00, added-at = {2004-11-16T00:00:00.000+0100}, author = {Logrippo, Luigi}, biburl = {https://www.bibsonomy.org/bibtex/21e8ad8a14f551edaea6e902da81718c8/dblp}, booktitle = {FIW}, crossref = {conf/fiw/2000}, date = {2004-11-16}, description = {dblp}, editor = {Calder, Muffy and Magill, Evan H.}, interhash = {d5ddcc26b58218e45abd35a3a595ebda}, intrahash = {1e8ad8a14f551edaea6e902da81718c8}, isbn = {1-58603-065-5}, keywords = {dblp}, pages = {9-13}, publisher = {IOS Press}, timestamp = {2004-11-16T00:00:00.000+0100}, title = {Immaturity and Potential of Formal Methods: A Personal View.}, url = {http://dblp.uni-trier.de/db/conf/fiw/fiw2000.html#Logrippo00}, year = 2000 }