Formal Methods Teaching  5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /  [electronic resource] : 
edited by Catherine Dubois, Pierluigi San Pietro. 
 - 1st ed. 2023. 
 - IX, 105 p. 69 illus., 20 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13962  1611-3349 ; .
 - Lecture Notes in Computer Science,  13962 .
<br/><br/>Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets. 
<br/><br/> 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 worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. 
<br/><br/><label>ISBN: </label>9783031275340 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-27534-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic.<br/>Logic programming.<br/>Natural language processing (Computer science).<br/>Social sciences--Data processing.<br/>Software engineering.<br/>Microprogramming .<br/>Mathematical Logic and Foundations.<br/>Logic in AI.<br/>Natural Language Processing (NLP).<br/>Computer Application in Social and Behavioral Sciences.<br/>Software Engineering.<br/>Control Structures and Microprogramming.
<br/><br/><label>LC Class. No.: </label>QA8.9-10.3 
<br/><br/><label>Dewey Class. No.: </label>511.3