Laguna University Digital Library
Discover books, e-journals, theses, and special collections — all in one place.
Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings
by Ferreira, João F., Mendes, Alexandra and Menghi, Claudio, ed.byPublished by: Switzerland : Springer Nature , 2021
- Sublocation
- EGC
- Call Number
- 004.151 F765 2021
- Physical Desc.
- [314] p.
- Note
- Includes bibliographic references and index.
- ISBN
- 978-3-030-91550-6
- Copies
- —