Formal Methods TeachingBrijesh Dongol, Luigia Petre, Graeme Smith · First published 2019Open the Tome
From Action Systems to Distributed SystemsLuigia Petre, Emil Sekerinski · First published 2016Open the Tome
Dependability and computer engineeringLuigia Petre, K. Sere, Elena Troubitsyna · First published 2011 · Latest edition 2012Open the Tome
Integrated Formal MethodsMichael Butler, Luigia Petre, Kaisa Sere · First published 2003Open the Tome
