Gradual Verification: Assuring Software Incrementally.
Fields of Study & Subjects
Logic
programming
and type systems
Formal Methods in Verification
Software Testing and Debugging Techniques
Publication details
- Journal / source
- The Journal of Object Technology
- Volume
- 25
- Issue
- 1
- Pages
- 1:1–1:1
- Publication date
- 1 January 2026
- Language
- EN