Rezultati

eNauka >  Results >  Scalable Typestate Analysis for Low-Latency Environments
Title: Scalable Typestate Analysis for Low-Latency Environments
Authors: Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A
Issue Date: 2022
Publication: INTEGRATED FORMAL METHODS, IFM 2022
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Type: Conference Paper
Collation: vol. 13274 str. 322-340
DOI: 10.1007/978-3-031-07727-2_18
WoS-ID: 000871759600018
Scopus-ID: 2-s2.0-85131946070
URI: https://enauka.gov.rs/handle/123456789/802674
Project: Dutch Research Council (NWO) [016]
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
Mp. category will be shown later

2
SCOPUSTM
2
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

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