Keywords: Formal methods.
Marco Peressotti
Assistant Professor
| Phone: | +45 65 50 90 26 |
| Email: | peressotti@sdu.dk |
| Webpage: | https://marcoperessotti.com/ |
| Phone: | +45 65 50 90 26 |
| Email: | peressotti@sdu.dk |
| Webpage: | https://marcoperessotti.com/ |
Keywords: Formal methods.