| Original language | Undefined |
|---|---|
| Title of host publication | Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41. |
| State | Published - 2005 |
| Externally published | Yes |
ID: 4428420