Search Results - Petre, Luigia, 1974-
- Showing 1 - 2 results of 2
-
1
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings by International Conference on Integrated Formal Methods Turku, Finland, SpringerLink (Online service)
Published: Springer, 2013Other Authors:Description: 1 online resource (xiii, 442 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
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, 20... by Formal Methods Teaching Workshop and Tutorial Porto, Portugal, SpringerLink (Online service), International Symposium of Formal Methods Europe
Published: Springer, 2019Other Authors:Description: 1 online resource (xvi, 245 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook