12 citations · 12 across the 1 of their papers we have counts for
1 paper
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…