High assurance technologies

Michal Young. High assurance technologies. ACM SIGSOFT Software Engineering Notes, 25(1):106, 2000. [doi]

Abstract

Abstract is missing.