|
СБ |
Theoretical Aspects of Computing - ICTAC 2021: Proc./18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Cerone A.
- Olveczky P. C.
|
|
|
01.10.2021 |
|
СБ |
Software Engineering and Formal Methods: Proc./18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 2020 |
2020 |
|
Lecture Notes in Computer Science |
- de Boer F.
- Cerone A.
|
|
20901 |
02.10.2020 |
|
СБ |
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017 |
2018 |
|
Lecture Notes in Computer Science |
- Cerone A.
- Roveri M.
|
|
|
06.02.2018 |
