|
|||||
|
|
A verification tool developer’s vade mecum |
|
| Authors: | Perdita Stevens |
| Affiliation: | (1) Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Mayfield Road, Edinburgh EH9 3JZ, UK, UK |
| Abstract: | |
| Keywords: | : Verification tools – Software engineering – Correctness – Quality |
| 本文献已被 SpringerLink 等数据库收录！ | |