Unlocking the power of environment assumptions for unit proofs

Software & Systems Modeling 2026 Open access

Read full text
Authors: Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel
DOI: 10.1007/s10270-026-01380-y
Cited by: 0
References: 34

Fields of Study & Subjects

Water management and technologies

Publication details

Journal / source
Software & Systems Modeling
Publisher
Springer Science and Business Media LLC
Publication date
29 April 2026
Language
EN