학술논문
Model checking software via abstraction of loop transitions
Document Type
Article
Author
Source
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2621:325-340)
Subject
Language
English
ISSN
16113349
03029743
03029743