Rodin Platform Why3 Plug-In

First Author: Iliasov A
Attributed to:  STRATA; Layers for Structuring Trustworthy Ambient Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-33600-8_21

Publication URI: http://dx.doi.org/10.1007/978-3-319-33600-8_21

Type: Book Chapter

Book Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z (2016)

Page Reference: 275-281

ISBN: 978-3-319-33599-5

ISSN: 2666-9862