Search

You searched for: Auteur Dongol Remove constraint Auteur: Dongol
1 - 3 of 3
Number of results to display per page

Search Results

1. Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
thumbnail
Full text!
Author:
Dongol; Troubitsyna, Elena
Publisher:
Springer International Publishing 2020
Format:
e-book
2. Formal Methods Teaching
thumbnail
Full text!
Author:
Dongol; Petre, Luigia; Smith, Graeme
Publisher:
Springer International Publishing 2019
Format:
e-book
3. Software Engineering for Robotics
thumbnail
Full text!
Author:
Cavalcanti, Ana; Dongol, Brijesh; Hierons, Rob; Timmis, Jon; Woodcock, Jim
Publisher:
Springer International Publishing 2021
Format:
e-book