The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs
From MaRDI portal
Publication:3813301
DOI10.1080/02522667.1988.10698940zbMath0662.68055MaRDI QIDQ3813301
Publication date: 1988
Published in: Journal of Information and Optimization Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/02522667.1988.10698940
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work