Desugaring JML Method Specifications
| Author(s) : | Gary T. Leavens Gary T. Leavens Arun D. Raghavan Arun D. Raghavan, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | techniques; Copyright c ? 2000, 2001 by Iowa State University. This document is distributed under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version., |