Резултати

еНаука >  Резултати >  Bit-Vector Typestate Analysis
Назив: Bit-Vector Typestate Analysis
Аутори: Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A
Година: 2023
Публикација: FORMAL ASPECTS OF COMPUTING
ISSN: 0934-5043 Formal Aspects of Computing Претражи идентификатор
Тип резултата: Научни чланак
Колација: 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
Пројекат: Dutch Research Council (NWO) [016]
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
22M22 - Међународни часопис категорије M22

Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.