%0 Conference Paper %1 journals/entcs/McGeachieD07 %A McGeachie, Jesse %A Dingel, Jürgen %B Bytecode@ETAPS %D 2007 %E Huisman, Marieke %E Spoto, Fausto %I Elsevier %K dblp %N 1 %P 3-18 %T Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. %U http://dblp.uni-trier.de/db/conf/bytecode/bytecode2007.html#McGeachieD07 %V 190

@inproceedings{journals/entcs/McGeachieD07, added-at = {2023-01-31T00:00:00.000+0100}, author = {McGeachie, Jesse and Dingel, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/2e411645784ba49562e76eeb16d87ddb5/dblp}, booktitle = {Bytecode@ETAPS}, crossref = {conf/bytecode/2007}, editor = {Huisman, Marieke and Spoto, Fausto}, ee = {https://www.wikidata.org/entity/Q110511829}, interhash = {b261cef2506d808d63d4f42704c7bda6}, intrahash = {e411645784ba49562e76eeb16d87ddb5}, keywords = {dblp}, number = 1, pages = {3-18}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T18:18:07.000+0200}, title = {Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/bytecode/bytecode2007.html#McGeachieD07}, volume = 190, year = 2007 }