academic conference | Q2020153 |
P973 | described at URL | https://dblp.org/db/conf/ifm/ifm2002.html |
P227 | GND ID | 10036533-4 |
P17 | country | Finland | Q33 |
P582 | end time | 2002-05-18 | |
P276 | location | Turku | Q38511 |
P921 | main subject | formal methods | Q1049183 |
P179 | part of the series | International Conference on Integrated Formal Methods | Q105693432 |
P1813 | short name | IFM 2002 | |
P580 | start time | 2002-05-15 | |
P1476 | title | Integrated Formal Methods, Third International Conference |
Q105693432 | International Conference on Integrated Formal Methods | has part(s) | P527 |
Search more.