Rezultati

eNauka >  Rezultati >  Bit-Vector Typestate Analysis
Naziv: Bit-Vector Typestate Analysis
Autori: Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A
Godina: 2023
Publikacija: FORMAL ASPECTS OF COMPUTING
ISSN: 0934-5043 Formal Aspects of Computing Pretraži identifikator
Tip rezultata: Naučni članak
Kolacija: vol. 35 br. 3 str. 1-36
DOI: 10.1145/3595299
WoS-ID: 001086828900006
Scopus-ID: 2-s2.0-85174737404
URI: https://enauka.gov.rs/handle/123456789/935699
Projekat: Dutch Research Council (NWO) [016]
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.