Équipe Composants et logiciels sûrs Nantes
VIAF ID: 141199555 ( Corporate )
Permalink: http://viaf.org/viaf/141199555
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
From research to teaching formal methods the B method actes... |
![]() |