Login / Signup

A parallelizable approach for mining likely invariants.

Alessandro DaneseLuca PiccolboniGraziano Pravadelli
Published in: CODES+ISSS (2015)
Keyphrases