Event Beta
International Symposium on Formal Methods
FM 1996FMFME
- Date
- 1996-03-18/22
- Place
- Oxford, United Kingdom on the map
- Series
- International Symposium on Formal Methods
- Edition
- 6
- Attendance
- on site
- Status
- as scheduled
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e103axk
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings Lecture Notes in Computer Science 1051 | 10.1007/3-540-60973-3 | 1996 | dblp |
| FME'96: Industrial Benefit and Advances in Formal Methods LNCS 1051 | 10.1007/3-540-60973-3 | 1996 | Springer |
Where the sources disagree
- edition number: confident: 6; springer-lod: 3
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 e103axk. https://id.confref.org/event/e103axk
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.