Program reduction allowing for additional specifications
From MaRDI portal
Publication:1910970
DOI10.1007/BF01130538zbMath0841.68071MaRDI QIDQ1910970
A. B. Godlevskij, S. L. Krivoj
Publication date: 20 May 1996
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work