Title of article
Proving Invariants of I/O Automata with TAME
Author/Authors
Myla Archer، نويسنده , , Constance Heitmeyer and Elvinia Riccobene ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
32
From page
201
To page
232
Keywords
formal methods , proof checking , software requirements analysis , Theorem Proving , Verification , Software Engineering
Journal title
Automated Software Engineering
Serial Year
2002
Journal title
Automated Software Engineering
Record number
307096
Link To Document