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