Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. (Formal specifications and developments: a study of compositional aspects in the B-method). 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.