JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Chalin”
Patrice Chalin
,
JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics
, pp. 57-79,
PDF
,
HTML
,
DOI
.
Volume 3, no. 6 (June 2004)