Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers Meyer, Bertrand Heftet / 2007 / Engelsk
Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon Heftet / 1994 / Engelsk
Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings Gurevich Yuri Heftet / 2000 / Engelsk
