Conference series Beta
International Conference on Formal Verification of Object-Oriented Software
FoVeOOS
- Events
- 4 (1992 to 2011)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s109q93
Events (4)
19922011
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2011 | International Conference on Formal Verification of Object-Oriented Software FoVeOOS 2011, FoVeOOS | Turin | 2011-10-05/07 | |
| 2010 | International Conference on Formal Verification of Object-Oriented Software FoVeOOS 2010, FoVeOOS | Paris | 2010-06-28/30 | |
| 1997 | Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997 FBT 1997 | Berlin | 1997-06-19/20 | |
| 1992 | Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992 FBT 1992 | Magdeburg | 1992-06-10/11 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Conference on Formal Verification of Object-Oriented Software. confref identifier s109q93. https://id.confref.org/series/s109q93
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.