Skip to content
Home
Collections
High Impact Articles
Jawi Collection
Malay Medicine
Forensic
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
A verified framework for symbo...
Text this
Text this:
A verified framework for symbolic execution in the ACL2 theorem prover
Number:
Provider:
Select your carrier
Alltel
AT&T
Cricket
Nextel
Sprint
T Mobile
Verizon
Virgin Mobile
Loading...
