Theorem proving in technology transfer: The user's point of view

DOI10.1007/PL00010806zbMath1060.68633OpenAlexW2067395557MaRDI QIDQ1856140

Fausto Giunchiglia, Paolo Traverso

Publication date: 2000

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00010806

zbMATH Keywords

formal methodsmechanized theorem proving

Mathematics Subject Classification ID

Uses Software

• SATO
• MONA
• Nuprl

This page was built for publication: Theorem proving in technology transfer: The user's point of view