%0 Conference Paper %1 conf/birthday/HutterA05 %A Hutter, Dieter %A Autexier, Serge %B Mechanizing Mathematical Reasoning %D 2005 %E Hutter, Dieter %E Stephan, Werner %I Springer %K dblp %P 407-432 %T Formal Software Development in MAYA. %U http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#HutterA05 %V 2605 %@ 3-540-25051-4

@inproceedings{conf/birthday/HutterA05, added-at = {2022-04-09T00:00:00.000+0200}, author = {Hutter, Dieter and Autexier, Serge}, biburl = {https://www.bibsonomy.org/bibtex/29f3b522ab024487b533a01fefb730c63/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_24}, interhash = {40f4aa3a9a89544ebf17ac4bc232729b}, intrahash = {9f3b522ab024487b533a01fefb730c63}, isbn = {3-540-25051-4}, keywords = {dblp}, pages = {407-432}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:15:51.000+0200}, title = {Formal Software Development in MAYA.}, url = {http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html#HutterA05}, volume = 2605, year = 2005 }