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

Email Client Verification Goals

Technical Report
Author(s):Bernhard Beckert and Gerd Beuster
Institution:Verisoft Project
Number:#46
Year:2005

BibTeX

@TechReport{verisoft2005,
  author = 	 {Bernhard Beckert and Gerd Beuster},
  title = 	 {Email Client Verification Goals},
  institution =  {Verisoft Project},
  number = 	 {\#46},
  year = {2005}
}