%0 Conference Paper %1 conf/tphol/Miller08 %A Miller, Steven P. %B TPHOLs %D 2008 %E Mohamed, Otmane Aït %E Muñoz, César A. %E Tahar, Sofiène %I Springer %K dblp %P 6-11 %T Will This Be Formal? %U http://dblp.uni-trier.de/db/conf/tphol/tphol2008.html#Miller08 %V 5170 %@ 978-3-540-71065-3

@inproceedings{conf/tphol/Miller08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Miller, Steven P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/278a94ead89c77468ace89607b9c6c5af/dblp}, booktitle = {TPHOLs}, crossref = {conf/tphol/2008}, editor = {Mohamed, Otmane Aït and Muñoz, César A. and Tahar, Sofiène}, ee = {https://doi.org/10.1007/978-3-540-71067-7_2}, interhash = {048cd776083b25e43382b7c58683a209}, intrahash = {78a94ead89c77468ace89607b9c6c5af}, isbn = {978-3-540-71065-3}, keywords = {dblp}, pages = {6-11}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:18:54.000+0200}, title = {Will This Be Formal?}, url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2008.html#Miller08}, volume = 5170, year = 2008 }