Login / Signup

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems.

Byeongjee KangKyungmin Bae
Published in: Sci. Comput. Program. (2024)
Keyphrases