Studies of a theory of specifications with built-in program extraction
From MaRDI portal
Publication:5951523
DOI10.1023/A:1010663224299zbMath1010.68092MaRDI QIDQ5951523
Publication date: 7 January 2002
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software