REASONING OVER STRINGS AND OTHER UNBOUNDED DATA STRUCTURES
Ph.D
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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 |