An overview of JML tools and applications
Institut national de recherche en informatique et en automatique · The University of Texas at El Paso · +6 more institutions
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
713
total citations
- FWCI
- 95.66
- Percentile
- 100%
- References
- 111
Citations per year
Authors
8- LBLilian BurdyCorresponding
Institut national de recherche en informatique et en automatique
- YCYoonsik Cheon
The University of Texas at El Paso
- DRDavid R. Cok
Carestream (United States), Kodak (United States)
- MDMichael D. Ernst
Massachusetts Institute of Technology
- JRJoseph R. Kiniry
Radboud University Nijmegen
Topics & keywords
Topics
Keywords
- Computer science
- Programming language
- Java
- Java Modeling Language
- Debugging
- Java annotation
- Programming language specification
- Generics in Java
No related works found for this paper.