Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification - Tools - Document - PDFSEARCH.IO

First Page	Meta Content
	Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verification Add to Reading List Document Date: 2012-05-14 03:25:02 Open Document File Size: 182,79 KB Share Result on Facebook

UPDATE

Int J Softw Tools Technol Transfer:397–403 DOIs10009INTRODUCTION Deductive software verificationAdd to Reading List