DIME Days (ISoLA 2022 Track Introduction)
You are here
| Title | DIME Days (ISoLA 2022 Track Introduction) |
| Publication Type | Conference Paper |
| Year of Publication | 2022 |
| Authors | Margaria T, Wirkner D, Busch D, Bainczyk A, Tegeler T, Steffen B |
| Editor | Margaria T, Steffen B |
| Conference Name | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering |
| Publisher | Springer Nature Switzerland |
| Conference Location | Cham |
| ISBN Number | 978-3-031-19756-7 |
