Bit-vector Typestate Analysis

Alen Arslanagić, Pavle Subotić, Jorge A. Pérez
May 2023
DOI
Type
Journal article
Publication
Bit-vector Typestate Analysis (Formal Aspects of Computing)