共 13 条
- [11] ROBBY M, 2003, FSE 03 FDN SOFTWARE, P267
- [12] Automated environment generation for software model checking [J]. 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 116 - 127
- [13] VISSER W, 2003, AUTOMATED SOFTWARE E, V10