|
|||||
|
|
Selected Extended Papers of VSTTE 2016 |
|
| Authors: | Sandrine Blazy Marsha Chechik |
| Affiliation: | 1.IRISA - CNRS,Université Rennes 1,Rennes,France;2.University of Toronto,Toronto,Canada |
| Abstract: | This special issue collects current efforts to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |