Flexible Invariants Through Semantic Collaboration

Thumbnail
Metadata only
Author
Polikarpova, Nadia
Tschannen, Julian
Furia, Carlo A.
Meyer, Bertrand
Show all
Date
2014
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
FM 2014: Formal Methods
Volume
8442
Pages
514 - 530
Publisher
Springer, 2014
Event
19th International Symposium, Singapore, Republic of Singapore, May 12-16, 2014
Organisational unit
03594 - Meyer, Bertrand (emeritus)
Notes
.
More
Show all metadata
Altmetrics