Real-World Types and Their Application.

Jian Xiang, John C. Knight, Kevin J. Sullivan

Browse the full SAFECOMP paper archive.