Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Full text!- Type:
- e-book
- Titel:
- Formal Methods : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
- Taal:
- Engels
- Uitgever:
- Cham Springer International Publishing AG 2023
- ISBN:
- 3-031-22475-2
3-031-22476-0 - Permalink:
- http://bibtest.howest.be/catalog/ebk03:25510542000041
