DOI10.1080/02522667.1986.10698832zbMath0593.68025MaRDI QIDQ3723689
M. C. Er
Publication date: 1986 Published in: Journal of Information and Optimization Sciences (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1080/02522667.1986.10698832
zbMATH Keywords
duality; semantics; nondeterminism; weakest precondition
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items
Cites Work