Difference between revisions of "IFM 2016"

From Openresearch
Jump to navigation Jump to search
(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
Loading map...

Papers: Submitted 99 / Accepted 33 (33.3 %)
Table of Contents