Formal Proof: Theory and Practice

De WikiGLC
Revisión del 10:53 16 dic 2008 de Jalonso (discusión | contribuciones) (New page: J. Harrison (2008) ''Formal Proof: Theory and Practice'')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

J. Harrison (2008) Formal Proof: Theory and Practice

Obtenido de «https://www.glc.us.es/web/index.php?title=Formal_Proof:_Theory_and_Practice&oldid=588»