학술논문
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
Document Type
Article
Author
Source
In Electronic Notes in Theoretical Computer Science August 2003 80:41-58
Subject
Language
ISSN
1571-0661