A mechanized proof environment for the convenient computations proof method
From MaRDI portal
Publication:1426938
DOI10.1023/A:1024746015231zbMath1057.68111MaRDI QIDQ1426938
Publication date: 15 March 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Related Items
Uses Software