Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

How C differs from Java for Symbolic Program Execution

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Christoph Gladisch
In:C/C++ Verification Workshop
Jahr:2007
URL:https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2007-Tews-cv

Anmerkung

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