Automatic Generation of Formal Verification Properties from English Language

No ratings

Presented at Diversity 2014 by

Christopher Harris

N/A