Forward Simulation for Data Refinement of Classes.

Ana Cavalcanti, David A. Naumann

Browse the full FM paper archive.