Search

You searched for: Auteur Mavridou, Anastasia Remove constraint Auteur: Mavridou, Anastasia
1 - 2 of 2
Number of results to display per page

Search Results

1. Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
thumbnail
Full text!
Author:
Lluch Lafuente, Alberto; Mavridou, Anastasia
Publisher:
Springer International Publishing 2021
Format:
e-book
2. NASA Formal Methods
thumbnail
Full text!
Author:
Lee; Giannakopoulou, Dimitra; Jha, Susmit; Mavridou, Anastasia
Publisher:
Springer International Publishing 2020
Format:
e-book