Externalized and Internalized Notions of Behavioral Refinement.

Michel Bidoit, Rolf Hennicker

Browse the full ICTAC paper archive.