%0 Conference Paper %1 conf/flops/Terauchi12 %A Terauchi, Tachio %B FLOPS %D 2012 %E Schrijvers, Tom %E Thiemann, Peter %I Springer %K dblp %P 2 %T Automated Verification of Higher-Order Functional Programs. %U http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Terauchi12 %V 7294 %@ 978-3-642-29821-9

@inproceedings{conf/flops/Terauchi12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Terauchi, Tachio}, biburl = {https://www.bibsonomy.org/bibtex/2c957b6417a47a0cf2cc25eeb62194420/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2012}, editor = {Schrijvers, Tom and Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-642-29822-6_2}, interhash = {1f8555daa29553bdcb50d40ed4f4952d}, intrahash = {c957b6417a47a0cf2cc25eeb62194420}, isbn = {978-3-642-29821-9}, keywords = {dblp}, pages = 2, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:40:18.000+0100}, title = {Automated Verification of Higher-Order Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Terauchi12}, volume = 7294, year = 2012 }