Difference between revisions of "IFM 2016"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| Line 11: | Line 11: | ||
|Accepted papers=33 | |Accepted papers=33 | ||
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-33693-0#toc | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-33693-0#toc | ||
| + | |pageCreator=Birgit.Hofmann | ||
| + | |pageEditor=Birgit.Hofmann | ||
| + | |contributionType=1 | ||
}} | }} | ||
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | <!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | ||
Latest revision as of 19:52, 1 April 2022
| IFM 2016 | |
|---|---|
12th International Conference on Integrated Formal Methods
| |
| Event in series | IFM |
| Dates | 2016/06/01 (iCal) - 2016/06/03 |
| Location | |
| Location: | Reykjavik, Iceland |
| Papers: | Submitted 99 / Accepted 33 (33.3 %) |
| Table of Contents | |
The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.