Modelling and Verifying Migration: A case study.

Michel Charpentier, Mamoun Filali, Philippe Mauran, Grard Padiou, Philippe Quinnec

Browse the full OPODIS paper archive.