Login / Signup

Fragment Abstraction for Concurrent Shape Analysis.

Parosh Aziz AbdullaBengt JonssonCong Quy Trinh
Published in: ESOP (2018)
Keyphrases