Deriving verification conditions and program assertions to support software inspection

Author(s):  
D. Powell
1999 ◽  
Vol 41 (15) ◽  
pp. 1045-1057 ◽  
Author(s):  
F. Macdonald ◽  
J. Miller

1992 ◽  
Author(s):  
JANET DRAKE ◽  
VAHID MASHAYEKHI ◽  
JOHN RIEDL ◽  
WEI-TEK TSAI

1987 ◽  
Author(s):  
Abraham Shenker ◽  
Leonard Silver ◽  
George Gesslein
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document