Formal Specs as Sets of Behaviors

(surfingcomplexity.blog)

2 points | by gm678 10 hours ago ago