STADIUM: a new tool for high assurance in systems design.

Rufus H. Cofer, T. J. Sanders

Browse the full ICECCS paper archive.