Zoeken

U zocht naar: Auteur Lima, Lucas. Filter Auteur: Lima, Lucas. weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
thumbnail
Full text!
Auteur:
Lima, Lucas.; Molnár, Vince
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book