Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification

First Page		Document Content
Date: 2012-05-14 03:25:02		Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification Add to Reading List Source URL: proval.lri.fr Download Document from Source Website File Size: 182,79 KB Share Document on Facebook