Theorem proving in technology transfer: The user's point of view
From MaRDI portal
Publication:1856140
DOI10.1007/PL00010806zbMath1060.68633MaRDI 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
Uses Software