Search

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