Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.).

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 sele...

Full description

Saved in:

Bibliographic Details
Corporate Author:	Formal Methods Teaching Workshop and Tutorial Online
Other Authors:	Ferreira, João F. (Editor), Mendes, Alexandra (Editor), Menghi, Claudio (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2021]
Series:	Lecture notes in computer science ; 13122. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Formal methods (Computer science) > Congresses. Formal methods (Computer science) Mètodes formals (Informàtica) Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Congressos.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
Status:	Available

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings / João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.).

‌

Online

Similar Items