Complx: a verification framework for concurrent imperative programs

Amani, Sidney; Andronick, June; Bortin, Maksym; Lewis, Corey; Rizkallah, Christine; Tuong, Joseph (2016). Complx: a verification framework for concurrent imperative programs. Archive of Formal Proofs, 2016.
ajakirjaartikkel
Amani, Sidney; Andronick, June; Bortin, Maksym; Lewis, Corey; Rizkallah, Christine; Tuong, Joseph
  • Inglise
Archive of Formal Proofs
2150-914x
2016
2016
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Viited terviktekstile

Lisainfo