Aide à la réutilisation de spécifications formelles en LOTOS

Samira Sadaoui. Aide à la réutilisation de spécifications formelles en LOTOS. PhD thesis, Henri Poincaré University, Nancy, France, 2000. [doi]

Abstract

Abstract is missing.