Transformational Programming and the Derivation of Algorithms
From MaRDI portal
Publication:4932639
DOI10.1007/978-90-481-9794-1_4zbMath1202.68257OpenAlexW2161513153MaRDI QIDQ4932639
Publication date: 6 October 2010
Published in: Lecture Notes in Electrical Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-90-481-9794-1_4
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cites Work