СБ |
Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Huisman M.
- Pasareanu C.
- Zhan N.
|
|
|
20.12.2021 |
СБ |
Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Beyer D.
- Huisman M.
- Kordon F.
- Steffen B.
|
|
|
25.04.2019 |
СБ |
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Huisman M.
- Rubin J.
|
|
|
06.06.2017 |