Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
Main Authors: | , |
---|---|
Language: | English |
Published: |
Springer International Publishing AG
2016
|
Subjects: | |
Online Access: | http://cds.cern.ch/record/2764135 |
Description not available. |