Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015
No Thumbnail Available
Files
Date
2015
Authors
Dubois,C
Paolo Masci
Méry,D