Description:
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. 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.

 

Title: Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings Author(s): João F. Ferreira; Alexandra Mendes; Claudio Menghi Publisher: Springer Year: 2022 ISBN: 3030915492; 9783030915490

 

Title:	Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings		Volume:
Author(s):	João F. Ferreira; Alexandra Mendes; Claudio Menghi
Series:		Periodical:
Publisher:	Springer	City:
Year:	2022	Edition:
Language:	English	Pages (biblio ech):	159
ISBN:	3030915492, 9783030915490	ID:	3161030
Time added:	2021-12-13 01:59:56	Time modified:	2021-12-13 16:20:51
Library:		Library issue:
Size:	8 MB (8055094 bytes)	Extension:	pdf