Computer assistance for program refinement
2005 ◽
pp. 312-321
Keyword(s):
1973 ◽
Vol 12
(02)
◽
pp. 102-107
◽
1994 ◽
Vol 19
(1)
◽
pp. 23-27
Keyword(s):
2003 ◽
Vol 12
(1-2)
◽
pp. 36-51
◽
2000 ◽
Vol 37
(2)
◽
pp. 136-145
◽
Keyword(s):