Publications

IFM

Title

Type

International Conference Proceedings Book

Date

2012

Title

IFM

Type

International Conference Proceedings Book

Year

2012

Conference International

Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-642-30728-7

Vol.: 7321

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Rebello De Andrade, F (Author) (Other); Faria, JP (Author) (FEUP); Lopes, A (Author) (Other); Paiva, ACR (Author) (FEUP)

2012

Article in International Conference Proceedings Book

Ana Garis (Author) (Other); Ana C. R. Paiva (Author) (FEUP); Alcino Cunha (Author) (Other); Daniel Riesco (Author) (Other)

2012