Framework of algorithm correctness in NDADAS
From MaRDI portal
Publication:1180027
zbMath0800.68559MaRDI QIDQ1180027
Publication date: 27 June 1992
Published in: Science in China. Series A (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)