Statistics
Publications
2
Citations
118
H-Index
2
Active since
1998
Affiliations
Centrum Wiskunde & Informatica(Current)
Mark van der Zwaag is an author at Centrum Wiskunde & Informatica specializing in computing, computer science, and protocol design.
Publications per year
1998–2005
2
2
Formalizing UML Models and OCL Constraints in PVS
Marcel Kyas, Harald Fecher, Frank S. de Boer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 89 citations · Full text
1–2 of 2