@article{e08e273d26a64100a8efa0909d98a00f,
title = "A comparison of tools for teaching formal software verification",
keywords = "Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system",
author = "Ingo Feinerer and Gernot Salzer",
year = "2009",
month = may,
doi = "10.1007/s00165-008-0084-5",
language = "English",
volume = "21",
pages = "293--301",
journal = "Formal Aspects of Computing",
issn = "0934-5043",
publisher = "Association for Computing Machinery ",
number = "3",
}