|
СБ |
Integrated Formal Methods: Proc./14th International Conference, IFM 2018, Maynooth, Ireland, September 2018 |
2018 |
|
|
- Furia C. A.
- Winter K.
|
|
|
26.09.2018 |
|
СБ |
Tests and Proofs: Proc./10th International Conference, TAP 2016 Held as Part of STAF 2016, Vienna, Austria, July 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Aichernig R. K.
- Furia C. A.
|
|
|
02.08.2016 |
|
СБ |
Objects, Models, Components, Patterns: Proc./50th International Conference, TOOLS 2012, Prague, Czech Republic, May 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Furia C. A.
- Nanz S.
|
|
|
20.06.2012 |
