Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings
Other Authors: | , |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer International Publishing
2016
|
Subjects: | |
Online Access: | https://publications.rwth-aachen.de/record/683017 https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22 |
Description not available. |