Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015

No Thumbnail Available
Files
P-00K-KK9.pdf (12.94 MB)
Date
2015
Authors
Dubois,C
Paolo Masci
Méry,D
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5447
 http://dx.doi.org/10.4204/EPTCS.187
Collections
HASLab - Other Publications