Search

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

Search Results

1. Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
thumbnail
Full text!
Author:
Sekerinski; Astarte, Troy; Campos, José; Farrell, Marie; Guidotti, Riccardo; Luckcuck, Matt; Marmsoler, Diego; Moreira, Nelma; Oliveira, José N.; Ratiu, Daniel
Publisher:
Springer International Publishing 2020
Format:
e-book
2. Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
thumbnail
Full text!
Author:
Sekerinski; Astarte, Troy; Campos, José; Farrell, Marie; Guidotti, Riccardo; Luckcuck, Matt; Marmsoler, Diego; Moreira, Nelma; Oliveira, José N.; Ratiu, Daniel
Publisher:
Springer International Publishing 2020
Format:
e-book