@InProceedings{GladischIFM07, author = {Christoph Gladisch}, title = {How {C} differs from Java for Symbolic Program Execution}, booktitle = {{C}/{C++} Verification Workshop}, editor = {Hendrik Tews}, year = {2007}, month = jul, venue = {Oxford, United Kingdom}, eventdate = {2007-07-02}, url = {https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-Tews-cv}, note = {Technical report ICIS-R07015 of the Radboud University Nijmegen} }
How C differs from Java for Symbolic Program Execution
Author(s): | Christoph Gladisch |
---|---|
In: | C/C++ Verification Workshop |
Year: | 2007 |
URL: | https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-Tews-cv |
Note
Technical report ICIS-R07015 of the Radboud University Nijmegen