Title of article
Model Checking Programs
Author/Authors
Willem Visser، نويسنده , , Klaus Havelund، نويسنده , , Guillaume Brat، نويسنده , , SeungJoon Park and Flavio Lerda ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
30
From page
203
To page
232
Keywords
model checking , Symmetry , Abstraction , Java , runtime analysis , Static analysis
Journal title
Automated Software Engineering
Serial Year
2003
Journal title
Automated Software Engineering
Record number
307114
Link To Document