Taclets and the KeY Prover
Journal article, 2004
interactive theorem proving
theorem proving
logic
graphical user interface
Author
Martin Giese
Chalmers, Department of Computing Science, Formal Methods
Published in
Electronic Notes in Theoretical Computer Science
1571-0661 (ISSN)
Vol. 103 p. 67-79Categorizing
Subject Categories (SSIF 2011)
Computer and Information Science
Identifiers
DOI
10.1016/j.entcs.2004.09.014