Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
From MaRDI portal
Publication:2452328
DOI10.1007/978-3-662-43652-3zbMath1288.68003OpenAlexW4206808753MaRDI QIDQ2452328
No author found.
Publication date: 2 June 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-43652-3
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Automated reasoning with restricted intensional sets ⋮ Refining autonomous agents with declarative beliefs and desires ⋮ An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation ⋮ Automated proof of Bell-LaPadula security properties ⋮ Cogent: uniqueness types and certifying compilation
This page was built for publication: Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
