Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldw...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Dubois, Catherine (Editor), San Pietro, Pierluigi (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13962
Subjects:	Mathematical logic. Logic programming. Natural language processing (Computer science). Social sciences > Data processing. Software engineering. Microprogramming . Mathematical Logic and Foundations. Logic in AI. Natural Language Processing (NLP). Computer Application in Social and Behavioral Sciences. Software Engineering. Control Structures and Microprogramming.
Online Access:	https://doi.org/10.1007/978-3-031-27534-0
Tags:	Add Tag No Tags, Be the first to tag this record!