Title:
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Author:
Dubois, Catherine. editor.
ISBN:
9783031275340
Edition:
1st ed. 2023.
Physical Description:
IX, 105 p. 69 illus., 20 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13962
Contents:
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-27534-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520888-1001 | XX(520888.1) | Searching... | Searching... |