Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/s11334-013-0211-1 | ISSE |
Keywords | Field | DocType |
software verification,special issue,computer and information science | Software engineering,Computer science,Usability,Symbolic execution,Formal methods,Software verification and validation,Software construction,Software verification,Formal verification,Information and Computer Science | Journal |
Volume | Issue | ISSN |
9 | 2 | 1614-5054 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mohammad Reza Mousavi | 1 | 358 | 32.34 |
| Jun Pang | 2 | 521 | 30.59 |