1 citations · 1 across the 1 of their papers we have counts for
1 paper
Aurea Bílá, João C. Pereira, Jan Schär +1
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…