%0 Conference Paper %1 conf/birthday/StephanLNR05 %A Stephan, Werner %A Langenstein, Bruno %A Nonnengart, Andreas %A Rock, Georg %B Mechanizing Mathematical Reasoning %D 2005 %E Hutter, Dieter %E Stephan, Werner %I Springer %K dblp %P 476-493 %T Verification Support Environment. %U http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#StephanLNR05 %V 2605 %@ 3-540-25051-4

@inproceedings{conf/birthday/StephanLNR05, added-at = {2017-05-23T00:00:00.000+0200}, author = {Stephan, Werner and Langenstein, Bruno and Nonnengart, Andreas and Rock, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ba461c47cec7007a7d140d00021f41a5/dblp}, booktitle = {Mechanizing Mathematical Reasoning}, crossref = {conf/birthday/2005siekmann}, editor = {Hutter, Dieter and Stephan, Werner}, ee = {https://doi.org/10.1007/978-3-540-32254-2_27}, interhash = {9785ce35b828874786de22225abb4454}, intrahash = {ba461c47cec7007a7d140d00021f41a5}, isbn = {3-540-25051-4}, keywords = {dblp}, pages = {476-493}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:05:52.000+0200}, title = {Verification Support Environment.}, url = {http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#StephanLNR05}, volume = 2605, year = 2005 }