Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 :
| Other Authors: | Formal Methods Teaching Workshop and Tutorial, Ferreira, Joao F., Mendes, Alexandra, Menghi, Claudio |
|---|---|
| Subjects: | |
| Online Access: |
http://library.unisel.edu.my/web/guest/mylibrary |