Ada-Europe 2017
22nd International Conference on Reliable Software TechnologiesVienna, Austria
Homepage: https://www.auto.tuwien.ac.at/~blieb/AE2017/index.html
CISTER's main roles:
Luis Miguel PinhoConference or Workshop Papers/Talks
OpenMP tasking model for Ada: safety and correctness CISTER-TR-170503
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 2017, pp 184-200. Vienna, Austria.Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luis Miguel Pinho22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 2017, pp 184-200. Vienna, Austria.Part of the Lecture Notes in Computer Science book series (LNCS, volume 10300)
PDF