Krishnamani, Kalyanasundaram
Krishnamani, Kalyanasundaram
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers | 1-gen-2007 | Franzen, Per AndersKrishnamani, KalyanasundaramRoveri, Marco + |