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

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

Technical Report
Editor(s):Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov
Institution:Karlsruhe Institute of Technology, Department of Informatics
Number:2011-26
Year:2011

Note

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

BibTeX

@techreport{BeckertDamianiGurov2011,
  editor =       {Bernhard Beckert and Ferruccio Damiani and Dilian Gurov},
  title =        {Papers Presented at the 2nd International Conference
                  on Formal Verification of Object-Oriented Software ({FoVeOOS} 2011)},
  venue =        {Turin, Italy},
  eventdate =    {2011-10-05/2011-10-07},
  institution =  {Karlsruhe Institute of Technology, Department of Informatics},
  number =       {2011-26},
  note =         {Available at https://publikationen.bibliothek.kit.edu/1000024780},
  year =         {2011},
  month =        oct
}