Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

Format:: e-book
Title:: Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Author:: Ferreira, João F.; Mendes, Alexandra; Menghi, Claudio
Language:: English
Publisher:: Cham Springer International Publishing AG 2021
ISBN:: 3-030-91549-2
3-030-91550-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:19919638700041?locale=en