1
AIxIA 2020 - Advances in Artificial Intelligence [E-Book] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event,  November 25-27, 2020, Revised Selected Papers /
2
Evaluation of Novel Approaches to Software Engineering [E-Book] : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers /
3
Reliable Software Technologies – Ada-Europe 2016 [E-Book] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
4
Testing Software and Systems [E-Book] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
5
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [E-Book] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /
6
Critical Systems: Formal Methods and Automated Verification [E-Book] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
7
Testing Software and Systems [E-Book] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /