Skip to content
perpustakaan@upi.edu
+62 859 5999 9300
Home
About
Search Options
Search History
Advanced Search
Help
FAQ
Ask Librarian
Contact
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
From Formal Semantics to Verif...
Text this
Text this:
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Number:
Provider:
Select your carrier
Alltel
AT&T
Cricket
Nextel
Sprint
T Mobile
Verizon
Virgin Mobile
