Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

How C differs from Java for Symbolic Program Execution

Reviewed Paper In Proceedings
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

BibTeX

@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}
}