Towards automated software model checking using graph transformation systems and Bogor

Verfasser / Beitragende:
[Vahid Rafe, Adel Rahmani]
Ort, Verlag, Jahr:
2009
Enthalten in:
Journal of Zhejiang University-SCIENCE A, 10/8(2009-08-01), 1093-1105
Format:
Artikel (online)
ID: 453697607