Petre, Luigia, 1974-
Petre, Luigia
VIAF ID: 14111454 ( Personal )
Permalink: http://viaf.org/viaf/14111454
Preferred Forms
-
- 100 1 _ ‡a Petre, Luigia
- 100 1 _ ‡a Petre, Luigia ‡d 1974-
-
- 100 1 _ ‡a Petre, Luigia, ‡d 1974-
-
Works
Title | Sources |
---|---|
Dependability and computer engineering : concepts for software-intensive systems | |
Formal Methods Teaching : Third 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 | |
From action systems to distributed systems : the refinement approach | |
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings |