Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Explore by
Organizations
Researchers
Research Outputs
Academic & Publications
Help
Sign in
中文
English
NTU Scholars
Journal in proceedings of the 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation), in Lecture Notes in Computer Science 2575
View Statistics
Email Alert
RSS Feed
Details
Publication
Journal description
Name
in proceedings of the 4th VMCAI (Verification, Model-Checking, and Abstract-Interpretation), in Lecture Notes in Computer Science 2575