Integrated Formal Methods
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | unknown |
| Published: |
Springer International Publishing
2016
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-319-33693-0 http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0.pdf http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0 |
| id |
crspringernat:10.1007/978-3-319-33693-0 |
|---|---|
| record_format |
openpolar |
| spelling |
crspringernat:10.1007/978-3-319-33693-0 2024-03-10T08:35:25+00:00 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Ábrahám, Erika Huisman, Marieke 2016 http://dx.doi.org/10.1007/978-3-319-33693-0 http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0.pdf http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0 unknown Springer International Publishing http://www.springer.com/tdm Lecture Notes in Computer Science ISSN 0302-9743 1611-3349 ISBN 9783319336923 9783319336930 book 2016 crspringernat https://doi.org/10.1007/978-3-319-33693-0 2024-02-13T16:06:28Z Book Iceland Springer Nature |
| institution |
Open Polar |
| collection |
Springer Nature |
| op_collection_id |
crspringernat |
| language |
unknown |
| author2 |
Ábrahám, Erika Huisman, Marieke |
| format |
Book |
| title |
Integrated Formal Methods |
| spellingShingle |
Integrated Formal Methods |
| title_short |
Integrated Formal Methods |
| title_full |
Integrated Formal Methods |
| title_fullStr |
Integrated Formal Methods |
| title_full_unstemmed |
Integrated Formal Methods |
| title_sort |
integrated formal methods |
| publisher |
Springer International Publishing |
| publishDate |
2016 |
| url |
http://dx.doi.org/10.1007/978-3-319-33693-0 http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0.pdf http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0 |
| genre |
Iceland |
| genre_facet |
Iceland |
| op_source |
Lecture Notes in Computer Science ISSN 0302-9743 1611-3349 ISBN 9783319336923 9783319336930 |
| op_rights |
http://www.springer.com/tdm |
| op_doi |
https://doi.org/10.1007/978-3-319-33693-0 |
| _version_ |
1793131782856507392 |