An Architecture for Interactive Program Provers
Meyer, Jörg ; Poetzsch-Heffter, Arnd Schwartzbach, Michael ; Graf, Susanne
Lecture notes in computer science, 2000, p.63-77
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível