Login / Signup
Liuying Tang
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Liuying Tang
,
Sihan Qing
A Practical Alternative to Domain and Type Enforcement Integrity Formal Models.
Inscrypt
(2006)