Conference series Beta
International Workshop on Formal Methods for Interactive Systems (FMIS)
- Events
- 1 (2007)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/series/s12232h
Events (1)
20072007
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2007 | 2 | Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007 | Lancaster |
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).
| dblp |
|---|
Cite
International Workshop on Formal Methods for Interactive Systems (FMIS). confref identifier s12232h. https://id.confref.org/series/s12232h
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.