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

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