1
Software Engineering and Formal Methods [E-Book] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
2
Human-Centered and Error-Resilient Systems Development [E-Book] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /
3
OpenMP: Memory, Devices, and Tasks [E-Book] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
4
Runtime Verification [E-Book] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
5
OpenMP: Heterogenous Execution and Data Movements [E-Book] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /