Event Beta
International Symposium on Formal Methods
FM 2006FM
- Date
- 2006-08-21/27
- Place
- Hamilton, Canada on the map
- Series
- International Symposium on Formal Methods
- Edition
- 14
- Attendance
- on site
- Status
- as scheduled
- Website
- http://fm06.mcmaster.ca/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e103b53
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| FM 2006: Formal Methods LNCS 4085 | 10.1007/11813040 | 2006 | Springer |
| FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Lecture Notes in Computer Science 4085 | 10.1007/11813040 | 2006 | dblp |
Where the sources disagree
- start date: confident: 2006-08-21; springer-lod: 2006-08-21; confref-portal: 2006-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 | |
| dblp | |
| GND |
Cite
International Symposium on Formal Methods. confref identifier e103b53. https://id.confref.org/event/e103b53
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.