DMCA

High-Performance Deduction for Verification: A Case Study in the Theory of Arrays (2002)

by Alessandro Armando , Maria Paola Bonacina , Aditya Kumar Sehgal , Silvio Ranise
Venue:Notes of the Workshop on Verification, Third Federated Logic Conference (FLoC02
Citations:11 - 7 self