%0 Conference Paper %1 conf/asian/HayashiS98 %A Hayashi, Susumu %A Sumitomo, Ryosuke %B ASIAN %D 1998 %E Hsiang, Jieh %E Ohori, Atsushi %I Springer %K dblp %P 1-3 %T Testing Proofs by Examples. %U http://dblp.uni-trier.de/db/conf/asian/asian98.html#HayashiS98 %V 1538 %@ 3-540-65388-0

@inproceedings{conf/asian/HayashiS98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hayashi, Susumu and Sumitomo, Ryosuke}, biburl = {https://www.bibsonomy.org/bibtex/229c3fd9ec40f83253795e9ee77903763/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1998}, editor = {Hsiang, Jieh and Ohori, Atsushi}, ee = {https://doi.org/10.1007/3-540-49366-2_1}, interhash = {9b2bba898a367dc7d5949caf64710971}, intrahash = {29c3fd9ec40f83253795e9ee77903763}, isbn = {3-540-65388-0}, keywords = {dblp}, pages = {1-3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:18:47.000+0200}, title = {Testing Proofs by Examples.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian98.html#HayashiS98}, volume = 1538, year = 1998 }