Title of article :
Component Verification with Automatically Generated Assumptions
Author/Authors :
Dimitra Giannakopoulou، نويسنده , , Corina S. P?s?reanu and Howard Barringer ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
assume-guarantee reasoning , model checking , component verification
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
