Vos, Tanja
Vos, Tanja E. J
Vos, T.E.J. (Tanja Ernestina Jozefina), 1971-
Tanja Vos Ph.D. Universiteit Utrecht 2000
VIAF ID: 291553342 (Personal)
Permalink: http://viaf.org/viaf/291553342
Preferred Forms
- 100 0 _ ‡a Tanja Vos ‡c Ph.D. Universiteit Utrecht 2000
-
- 100 1 _ ‡a Vos, Tanja
-
-
- 100 1 _ ‡a Vos, Tanja
- 100 1 _ ‡a Vos, Tanja E. J
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
FITTEST 2013 | |
Formal methods and mechanical verification applied to the development of a convergent distributed sorting program | |
Future internet testing, (Springer) | |
Hardware and software : verification and testing: | |
UNITY in diversity : a stratified approach to the verification of distributed algorithms |