REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES

Ph.D

Saved in:
Bibliographic Details
Main Author: TRINH MINH THAI
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2017
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/135847
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-135847
record_format dspace
spelling sg-nus-scholar.10635-1358472017-06-02T07:34:55Z REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES TRINH MINH THAI COMPUTER SCIENCE JAFFAR, JOXAN Recursive Data Structures, String Solving, Entailment Checking, Web security, Program Verification, Symbolic Execution Ph.D DOCTOR OF PHILOSOPHY 2017-05-31T18:01:12Z 2017-05-31T18:01:12Z 2017-01-19 Thesis TRINH MINH THAI (2017-01-19). REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/135847 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Recursive Data Structures, String Solving, Entailment Checking, Web security, Program Verification, Symbolic Execution
spellingShingle Recursive Data Structures, String Solving, Entailment Checking, Web security, Program Verification, Symbolic Execution
TRINH MINH THAI
REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
TRINH MINH THAI
format Theses and Dissertations
author TRINH MINH THAI
author_sort TRINH MINH THAI
title REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
title_short REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
title_full REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
title_fullStr REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
title_full_unstemmed REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
title_sort reasoning over strings and other unbounded data structures
publishDate 2017
url http://scholarbank.nus.edu.sg/handle/10635/135847
_version_ 1681097742690025472