Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13962)
Included in the following conference series:
Conference proceedings info: FMTea 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Formal Methods Teaching
Keywords
About this book
The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods Teaching
Book Subtitle: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Editors: Catherine Dubois, Pierluigi San Pietro
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-27534-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-27533-3Published: 21 February 2023
eBook ISBN: 978-3-031-27534-0Published: 08 March 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 105
Number of Illustrations: 49 b/w illustrations, 20 illustrations in colour
Topics: Mathematical Logic and Foundations, Logic in AI, Natural Language Processing (NLP), Computer Applications, Software Engineering/Programming and Operating Systems, Control Structures and Microprogramming