Recent SRI work in verification
Levitt, Karl N., Neumann, Peter G.Volume:
6
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1010832.1010843
Date:
July, 1981
File:
PDF, 716 KB
english, 1981