Title of article
On using data abstractions for model checking refinements
Author/Authors
John Derrick and Heike Wehrheim ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
31
From page
41
To page
71
Journal title
acta Informatica
Serial Year
2007
Journal title
acta Informatica
Record number
287867
Link To Document