The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.
![Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
147![Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.10.4)
Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
147Paperback(1st ed. 2021)
Product Details
ISBN-13: | 9783030915490 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 11/21/2021 |
Series: | Lecture Notes in Computer Science , #13122 |
Edition description: | 1st ed. 2021 |
Pages: | 147 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |