Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Type:

e-book

Titel:

Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Auteur:

Chechik, Marsha.; Katoen, Joost-Pieter; Leucker, Martin

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2023

ISBN:

3-031-27480-6
3-031-27481-4

Permalink:

http://bibtest.howest.be/catalog/ebk03:26192082600041