Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5447
Title: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015
Authors: Dubois,C
Paolo Masci
Méry,D
Issue Date: 2015
Abstract: 
URI: http://repositorio.inesctec.pt/handle/123456789/5447
http://dx.doi.org/10.4204/EPTCS.187
metadata.dc.type: other
Publication
Appears in Collections:HASLab - Other Publications

Files in This Item:
File SizeFormat 
P-00K-KK9.pdf13.25 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.