Model-Based Quality Assurance of Windows Protocol Documentation.

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden

Browse the full ICST paper archive.