Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electronics Engineering / 電子工程學研究所
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
Details
A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
Journal
International Conference on Automated Software Engineering (ASE)
Date Issued
2018
Author(s)
H.-E. Wang
S.-Y. Chen
F. Yu
J.-H. R. Jiang
JIE-HONG JIANG
江介宏
DOI
10.1145/3238147.3238189
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/427584
Type
conference paper
