../
”Have I Written Enough Properties?” - A Method of Comparison Between Specification and Implementation
- Year
- 1999
- Authors
- Sagi Katz, Orna Grumberg, Danny Geist
- DOI
- 10.1007/3-540-48153-2_21
Related
Persistent Notes
In-text annotations
%% Import Date: 2026-06-06T22:03:47.645-04:00 %%