String Constraints for Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08867-9_10 ◽

2014 ◽

pp. 150-166 ◽

Cited By ~ 38

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Yu-Fang Chen ◽

Lukáš Holík ◽

Ahmed Rezine ◽

...

Download Full-text