Title | ||
---|---|---|
Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software. |
Year | DOI | Venue |
---|---|---|
2018 | 10.14279/tuj.eceasst.76.1069 | ECEASST |
Field | DocType | Volume |
Software engineering,Computer science,Software,Software assurance,Climbing,Distributed computing,Formal verification | Journal | 76 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yannick Moy | 1 | 69 | 9.25 |