Formal Methods. FM 2019 International Workshops (Part - I)

Author
Emil Sekerinski
Year
2020
Publisher
Springer
Subject
Computer Science
ISBN/e-ISBN
978-3-030-54994-7