A Pragmatic Static Analysis Method with An Applied Model of Formalized Concurrency

Endre, Fülöp [Fülöp, Endre (Informatika), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); ELTE IK PhD Informatika Doktori Iskola (ELTE / ELU FoI); Norbert, Pataki [Pataki, Norbert (Informatika), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS)

English Scientific Abstract (Conference paper)
    Identifiers
    • MTMT: 31660484
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-12-06 03:44