%0 Conference Paper %1 conf/mfcs/MehlhornN98 %A Mehlhorn, Kurt %A Näher, Stefan %B MFCS %D 1998 %E Brim, Lubos %E Gruska, Jozef %E Zlatuska, Jirí %I Springer %K dblp %P 84-93 %T From Algorithms to Working Programs: On the Use of Program Checking in LEDA. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs98.html#MehlhornN98 %V 1450 %@ 3-540-64827-5

@inproceedings{conf/mfcs/MehlhornN98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Mehlhorn, Kurt and Näher, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2a17802ef3caff48eaa9012021e7cf54d/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1998}, editor = {Brim, Lubos and Gruska, Jozef and Zlatuska, Jirí}, ee = {https://doi.org/10.1007/BFb0055759}, interhash = {7eaa40ade3cf74a5deb71e4f9d6ae193}, intrahash = {a17802ef3caff48eaa9012021e7cf54d}, isbn = {3-540-64827-5}, keywords = {dblp}, pages = {84-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:10:55.000+0200}, title = {From Algorithms to Working Programs: On the Use of Program Checking in LEDA.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs98.html#MehlhornN98}, volume = 1450, year = 1998 }