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

Second International Conference on Tests and Proofs (TAP 2008)

Conference Proceedings
Editor(s):Bernhard Beckert and Reiner Hähnle
Publisher:Springer
Series:Lecture Notes in Computer Science
Volume:4966
Year:2008

BibTeX

@Proceedings{BeckertHaehnle2008,
  editor =       {Bernhard Beckert and Reiner H\"ahnle},
  title =        {Second International Conference on Tests and Proofs ({TAP} 2008)},
  venue     =    {Prato, Italy},
  publisher =    {Springer},
  series =       {Lecture Notes in Computer Science},
  volume =       {4966},
  year =         {2008}
}