String Constraints for Verification

Please use this identifier to cite or link to this item: http://ir.sinica.edu.tw/handle/201000000A/39279

Title:	String Constraints for Verification
Authors:	Parosh Aziz Abdulla Mohamed Faouzi Atig Yu-Fang Chen Lukas Holik Ahmed Rezine Philipp Reummer Jari Stenman
Issue Date:	2014-08
Conference:	International Conference on Computer Aided Verification (CAV 2014) (Vienna, Austria)
URI:	http://ir.sinica.edu.tw/handle/201000000A/39279
Appears in Collections:	資訊科學研究所

Show full item record

Last Week
0

Last month
1

checked on Jan 4, 2023

Check