المؤلفون: Gerakios, Prodromos E.

مصطلحات موضوعية: Συνθήκες ανταγωνισμού, Αδιέξοδα, Συστήματα τύπων, Στατική ανάλυση, Soundness, Deadlocks, Type systems, Data races, Static analysis, Ορθότητα

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cfd8eb37fae11bc4b123453209089a29