Deriving verification conditions and program assertions to support software inspection
1999 ◽
Vol 41
(15)
◽
pp. 1045-1057
◽
Keyword(s):
1999 ◽
Vol 51
(5)
◽
pp. 865-893
◽
Keyword(s):