Luigia Petre

No bio available. Add one in Open Library.

Books by Luigia Petre (50 max)

+ shelf+ list

From Action Systems to Distributed Systems The Refinement Approach

2016

Luigia Petre, Emil Sekerinski

+ shelf+ list

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings

2003

Michael Butler, Luigia Petre, Kaisa Sere

+ shelf+ list

Dependability and Computer Engineering

2011

Luigia Petre, Kaisa Sere, Elena Troubitsyna

+ shelf+ list

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...

2019

Brijesh Dongol, Luigia Petre, Graeme Smith