Dijkstra-Scholten predicate calculus: Concepts and misconceptions

DOI10.1007/s002360050150zbMath0917.68142OpenAlexW2151166785MaRDI QIDQ1284701

Lex Bijlsma, Rob Nederpelt

Publication date: 13 June 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/19428

zbMATH Keywords

DS predicate calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Abstract Program Slicing, The Formal System of Dijkstra and Scholten, On calculational proofs