학술논문
Loop summarization using state and transition invariants
Document Type
Article
Source
In: Formal Methods in System Design . (Formal Methods in System Design, June 2013, 42(3):221-261)
Subject
Language
English
ISSN
09259856