Architecture validation system using assertion descriptions : users manual
Charles P. Kollar
10.1184/R1/6603632.v1
https://kilthub.cmu.edu/articles/journal_contribution/Architecture_validation_system_using_assertion_descriptions_users_manual/6603632
Computer Science Department
2013-02-14 00:00:00
Computer architecture.
Computer programs Verification.