Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Quang-Huy Nguyen
Certifying Native Java Card API by Formal Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Java Advanced Imaging API: A Tutorial
Revista de Informatica Teorica e Aplicada
Computer Science
Transparent Resource Management With Java RM API
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
Classification and Searching in Java API Reference Documentation
International Journal of Computer Applications Technology and Research
Formal Techniques for Java-Like Programs
A Java API for Low-Level Socket Network Access
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
Safer Typing of Complex API Usage Through Java Generics
JCCap: Capability-Based Access Control for Java Card
