Program derivation with verified transformations — a case study
1995 ◽
Vol 48
(9)
◽
pp. 1053-1113
◽
Keyword(s):
2005 ◽
pp. 101-124
◽
Keyword(s):
1979 ◽
Vol SE-5
(6)
◽
pp. 586-592
◽
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637