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

Papers Presented at the International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)

Technischer Bericht
Herausgeber:Bernhard Beckert and Claude Marché
Institution:Karlsruhe Institute of Technology, Department of Informatics
Nummer:2010-13
Jahr:2010

Anmerkung

Available at https://publikationen.bibliothek.kit.edu/1397033

BibTeX

@techreport{BeckertMarche2010,
  editor =       {Bernhard Beckert and Claude March\'{e}},
  title =        {Papers Presented at the International Conference on
                  Formal Verification of Object-Oriented Software ({FoVeOOS} 2010)},
  eventdate =    {2010-06-28/2010-06-30},
  venue =        {Paris, France},
  institution =  {Karlsruhe Institute of Technology, Department of Informatics},
  number =       {2010-13},
  note =         {Available at 
                  https://publikationen.bibliothek.kit.edu/1397033},
  year =         {2010}
}