Browsing by Author Dubois,C
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2015 | Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015 | Dubois,C; Paolo Masci; Méry,D |