Moreira, Nelma

Person

Browse all works related to Moreira, Nelma.

"3" Result
Sort By:
Formal methods

Formal methods: FM 2019 International Workshops : Porto, Portugal…

by Sekerinski, E., (Emil), Moreira, Nelma, Oliveira, Jose N., World Congress on Formal Methods, Porto, Portugal

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Prac…

Formal methods

Formal methods: FM 2019 International Workshops : Porto, Portugal…

by International Symposium of Formal Methods Europe, Porto, Portugal), Sekerinski, E., (Emil), Moreira, Nelma, Oliveira, Jose N.

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Prac…