СБ |
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Margaria T.
- Steffen B.
|
|
21025 |
11.11.2021 |
СБ |
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020 |
2021 |
|
Lecture Notes in Computer Science |
- Margaria T.
- Steffen B.
|
|
|
01.10.2021 |
СБ |
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday |
2019 |
|
Lecture Notes in Computer Science |
- Margaria T.
- Graf S.
- Larsen K. G.
|
|
|
14.08.2019 |
СБ |
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./23rd International Conference, TACAS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Legay A.
- Margaria T.
|
|
|
03.05.2017 |