Articles matching “Leavens”

  1. Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI. Volume 10, (2011)
  2. Gary T. Leavens, Not a Number of Floating Point Problems, pp. 75-83, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access