Authors
Jörg Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michaël Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuël Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer
Title
Proof Development with Omega
In
19th CADE 2003, LNAI 2741, pp. 328-333, Springer.
Bibtex Entry
Copyright Owner
Springer
Full paper