Year | DOI | Venue |
---|---|---|
2012 | 10.29007/q58t | international workshop on satisfiability modulo theories |
Field | DocType | Volume |
Programming language,Model checking,Computer science,Symbolic execution,Program analysis,Software verification,Bounded function | Conference | 20 |
Citations | PageRank | References |
0 | 0.34 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stephan Falke | 1 | 511 | 27.86 |
Carsten Sinz | 2 | 787 | 46.29 |
Florian Merz | 3 | 151 | 9.56 |