Patterns for building dependable systems with trusted bases.

Eunsuk Kang, Daniel Jackson

Browse the full PLOP paper archive.