Title of article
Component Verification with Automatically Generated Assumptions
Author/Authors
Dimitra Giannakopoulou، نويسنده , , Corina S. P?s?reanu and Howard Barringer ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
24
From page
297
To page
320
Keywords
assume-guarantee reasoning , model checking , component verification
Journal title
Automated Software Engineering
Serial Year
2005
Journal title
Automated Software Engineering
Record number
307146
Link To Document