%0 Conference Paper %1 conf/asian/ChenIM95 %A Chen, Xiaojun %A Inverardi, Paola %A Montangero, Carlo %B ASIAN %D 1995 %E Kanchanasut, Kanchana %E Lévy, Jean-Jacques %I Springer %K dblp %P 396-410 %T ESP-MC: An Experiment in the Use of Verification Tools. %U http://dblp.uni-trier.de/db/conf/asian/asian95.html#ChenIM95 %V 1023 %@ 3-540-60688-2

@inproceedings{conf/asian/ChenIM95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Chen, Xiaojun and Inverardi, Paola and Montangero, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/204fd565250f91a99de96eeebef1fc1d7/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1995}, editor = {Kanchanasut, Kanchana and Lévy, Jean-Jacques}, ee = {https://doi.org/10.1007/3-540-60688-2_58}, interhash = {6e8d5fb5d4ac6c13a72d888784f18f06}, intrahash = {04fd565250f91a99de96eeebef1fc1d7}, isbn = {3-540-60688-2}, keywords = {dblp}, pages = {396-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:19:02.000+0200}, title = {ESP-MC: An Experiment in the Use of Verification Tools.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian95.html#ChenIM95}, volume = 1023, year = 1995 }