JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Articles matching “Aldrich”
Jonathan Aldrich
,
Gradual Verification: Assuring Software Incrementally
, pp. 1:1-1,
DOI
.
Volume 25, no. 1 ( 2026)