Object State

View at publisher
Authors: Martin P. Robillard
Cited by: 0

Fields of Study & Subjects

Security and Verification in Computing Logic programming and type systems Software System Performance and Reliability

Publication details

Pages
67–95
Publication date
1 January 2026
Language
EN
Document type
Book chapter