Languages and Compilers for Parallel Computing [E-Book] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /  

Mueller, Frank
2016

NASA Formal Methods [E-Book] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /  

Rayadurgam, Sanjai
2016

Service-Oriented Computing [E-Book] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers /  

Aiello, Marco
2023