A Uniform approach for the Specification and Design of Interactive Systems: the B method
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)