Event Beta
International Conference on Integrated Formal Methods
IFM 2004IFM
- Date
- 2004-04-04/07
- Place
- Canterbury, United Kingdom on the map
- Series
- International Conference on Integrated Formal Methods
- Edition
- 4
- Attendance
- on site
- Status
- as scheduled
- Website
- https://www.cs.kent.ac.uk/events/conf/2004/ifm/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science, formal methods
- Identifier
https://id.confref.org/event/e104xc1
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Integrated Formal Methods LNCS 2999 | 10.1007/b96106 | 2004 | Springer |
| Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Lecture Notes in Computer Science 2999 | 10.1007/b96106 | 2004 | dblp |
Where the sources disagree
- start date: confident: 2004-04-04; springer-lod: 2004-04-04; wikidata: 2004-04-04; confref-portal: 2004-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| ConfIDent | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Conference on Integrated Formal Methods. confref identifier e104xc1. https://id.confref.org/event/e104xc1
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.