JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics
By: Patrice Chalin
Cite as:
Patrice Chalin, “JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 57-79, doi:10.5381/jot.2004.3.6.a3.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn