43 citations · 96 across the 13 of their papers we have counts for
1 paper · 1 filter
Aurea Bílá, Christoph Matheja, Peter Müller
Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementatio…