Languages
Petre, Luigia.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
by:
(1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service)
(Electronic resources)
Formal methods teachingthird International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
by:
(1998 :); Dongol, Brijesh.; Petre, Luigia.; Smith, Graeme.; SpringerLink (Online service)
(Electronic resources)