Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

An overview of JML tools and applications

2004708 citationsJournal Article

Authors

Lilian Burdy · Institut national de recherche en informatique et en automatique

Yoonsik Cheon · The University of Texas at El Paso

David R. Cok · Carestream (United States)

Michael D. Ernst · Massachusetts Institute of Technology

Joseph R. Kiniry · Radboud University Nijmegen

Gary T. Leavens · Iowa State University

K. Rustan M. Leino

Topics & Keywords

Logic, programming, and type systems Advanced Software Engineering Methodologies Model-Driven Software Engineering Techniques

Publication Details

Published in: International Journal on Software Tools for Technology Transfer

Volume 7, Issue 3, pp. 212-232

DOI: 10.1007/s10009-004-0167-4

Field-Weighted Citation Impact: 96.47

An overview of JML tools and applications | Researchclopedia

· Microsoft (United States)

Erik Poll · Radboud University Nijmegen