Model-based quality assurance of Windows protocol documentation (0)

by W Grieskamp, D MacDonald, N Kicillof, A Nandan, K Stobie, F Wurden
Venue:In ICST’08