%0 Conference Paper %1 conf/padl/Kaivola11 %A Kaivola, Roope %B PADL %D 2011 %E Rocha, Ricardo %E Launchbury, John %I Springer %K dblp %P 1 %T Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. %U http://dblp.uni-trier.de/db/conf/padl/padl2011.html#Kaivola11 %V 6539 %@ 978-3-642-18377-5

@inproceedings{conf/padl/Kaivola11, added-at = {2018-06-26T00:00:00.000+0200}, author = {Kaivola, Roope}, biburl = {https://www.bibsonomy.org/bibtex/26e7a592e4abb8907a35c3a51a18dbd2a/dblp}, booktitle = {PADL}, crossref = {conf/padl/2011}, editor = {Rocha, Ricardo and Launchbury, John}, ee = {https://doi.org/10.1007/978-3-642-18378-2_1}, interhash = {1c09c060292f4750a264030696f2453b}, intrahash = {6e7a592e4abb8907a35c3a51a18dbd2a}, isbn = {978-3-642-18377-5}, keywords = {dblp}, pages = 1, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:45:04.000+0200}, title = {Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2011.html#Kaivola11}, volume = 6539, year = 2011 }