Dependability Arguments with Trusted Bases.

Eunsuk Kang, Daniel Jackson

Browse the full RE paper archive.