Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002

academic conference

Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 is …
instance of (P31):
academic conferenceQ2020153

External links are
P973described at URLhttps://dblp.org/db/conf/ifm/ifm2002.html
P227GND ID10036533-4

P17countryFinlandQ33
P582end time2002-05-18
P276locationTurkuQ38511
P921main subjectformal methodsQ1049183
P179part of the seriesInternational Conference on Integrated Formal MethodsQ105693432
P1813short nameIFM 2002
P580start time2002-05-15
P1476titleIntegrated Formal Methods, Third International Conference

Reverse relations

Q105693432International Conference on Integrated Formal Methodshas part(s)P527

Search more.