Search Results - Petre, Luigia, 1974-

  • Showing 1 - 2 results of 2
Refine Results
  1. 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, 2013
    Description: 1 online resource (xiii, 442 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
  2. 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, 2019
    Description: 1 online resource (xvi, 245 pages) : illustrations (some color).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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

Search Tools: