| Title | Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings |
|---|---|
| Author | Catherine Dubois, Pierluigi San Pietro |
| Year | 2023 |
| Edition | |
| Volume | |
| Series | Lecture Notes in Computer Science, 13962 |
| Publisher | Springer |
| City | Cham |
| Language | English |
Size: 6.32MB | Pages: 112 |
LLC: N/A | DDC:
Related Books
- No Related Books!