TY  - BOOK
AU  - Sekerinski,Emil
AU  - Ribeiro,Leila
ED  - SpringerLink (Online service)
TI  - Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031713798
AV  - QA8.9-10.3 
U1  - 511.3 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Mathematical logic
KW  - Logic programming
KW  - Natural language processing (Computer science)
KW  - Social sciences
KW  - Data processing
KW  - Software engineering
KW  - Microprogramming 
KW  - Mathematical Logic and Foundations
KW  - Logic in AI
KW  - Natural Language Processing (NLP)
KW  - Computer Application in Social and Behavioral Sciences
KW  - Software Engineering
KW  - Control Structures and Microprogramming
N1  - 1 The Significance of Symbolic Logic for Scientific Education -- Introducing GitHub Classroom into a Formal Methods Module -- Teaching through Practice: Advanced Static Analysis with LiSA -- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities -- An Educational Module for Temporal Features in Alloy 6 -- Checking contracts in Event-B -- Teaching with Logika: Conceiving and Constructing Correct Software -- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security
N2  - This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-71379-8
ER  -