The KeY-Tool

By Achim D. Brucker.

Please cite this work as follows:
A. D. Brucker, “The KeY-tool.” ETH Zurich, Switzerland, Jan. 21, 2004. Author copy: https://logicalhacking.com/publications/talk-brucker-key-tool-2004/

BibTeX
@Misc{ talk:brucker:key-tool:2004,
  date     = {2004-01-21},
  title    = {The {KeY}-Tool},
  author   = {Achim D. Brucker},
  lecturer = {Achim D. Brucker},
  address  = {ETH Zurich, Switzerland},
  event    = {Seminar: Specification and Verification of Object-oriented
              Software},
  day      = {21},
  month    = {jan},
  year     = {2004},
  language = {USenglish},
  note     = {Author copy: \url{https://logicalhacking.com/publications/talk-brucker-key-tool-2004/}},
  pdf      = {https://logicalhacking.com/publications/talk-brucker-key-tool-2004/talk-brucker-key-tool-2004.pdf},
}