Statistics
Publications
1
Citations
28
H-Index
1
Active since
2008
Affiliations
STMicroelectronics (France)(Current)
W. Kruijtzer is an author at STMicroelectronics (France) specializing in system software, software design, and formal verification.
Publications per year
2008–2008
1
1
1–1 of 1