Best Paper Award LPAR 2015

  • Cassez, Franck (Recipient)

Prize

Description

Best paper award for the LPAR 2015 paper on "Verification of multi-threaded programs via trace abstraction refinement".
Awarded date17 Nov 2015
Degree of recognitionInternational
Granting OrganisationsSpringer-Verlag

Awarded at event

Event title20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015
LocationSuva, FijiShow on map
Period24 Nov 2015 → 28 Nov 2015

Documents & Links