Title of article
Compositional verification of sequential programs with procedures
Author/Authors
Dilian Gurov، نويسنده , , Marieke Huisman، نويسنده , , Christoph Sprenger، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
29
From page
840
To page
868
Keywords
Program verificationControl-flow behaviourCompositional reasoningModal -calculusSafety propertiesMaximal modelPrivate procedures
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262485
Link To Document