Six Steps Towards Provably Safe Software

Safe Comp 95 ◽  
1995 ◽  
pp. 191-205
Author(s):  
Maritta Heisel
Sign in / Sign up

Export Citation Format

Share Document