You are here

Publications

Export 1 results:

BibTeX

Author Title [ Type

] Year

Filters: Author is Latorre, N. [Clear All Filters]

Conference Paper

VERIGE: Verification with Invariant Generation Engine, Latorre, N., Alberti Francesco, and Sharygina Natasha , SPIN, (2014)