Gå direkte til innholdet
Formal Methods Teaching
Spar

Formal Methods Teaching

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.

The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions.

Undertittel
4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Opplag
1st ed. 2021
ISBN
9783030915490
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.11.2021
Antall sider
147