%0 Conference Paper %1 conf/cade/CraryS03 %A Crary, Karl %A Sarkar, Susmit %B CADE %D 2003 %E Baader, Franz %I Springer %K dblp %P 106-120 %T Foundational Certified Code in a Metalogical Framework. %U http://dblp.uni-trier.de/db/conf/cade/cade2003.html#CraryS03 %V 2741 %@ 3-540-40559-3

@inproceedings{conf/cade/CraryS03, added-at = {2023-06-26T00:00:00.000+0200}, author = {Crary, Karl and Sarkar, Susmit}, biburl = {https://www.bibsonomy.org/bibtex/21a1e390bcc8553505768fa70b503ba36/dblp}, booktitle = {CADE}, crossref = {conf/cade/2003}, editor = {Baader, Franz}, ee = {https://doi.org/10.1007/978-3-540-45085-6_9}, interhash = {e7ad4421e28522c90fa17f843aa9103a}, intrahash = {1a1e390bcc8553505768fa70b503ba36}, isbn = {3-540-40559-3}, keywords = {dblp}, pages = {106-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:07:55.000+0200}, title = {Foundational Certified Code in a Metalogical Framework.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2003.html#CraryS03}, volume = 2741, year = 2003 }