Year of Publication
2011
Journal
Leveraging Applications Of Formal Methods, Verification, And Validation