12 citations · 38 across the 9 of their papers we have counts for
1 paper · 1 filter
Jeroen van den Bos, Mark Hills, Paul Klint +2
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in desi…