Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems
2009 ◽
pp. 27-39
◽
Keyword(s):
1994 ◽
Vol 27
(23)
◽
pp. L763-L770
◽
Keyword(s):
Keyword(s):
1993 ◽
Vol 19
(3)
◽
pp. 277-296
◽
1989 ◽
Vol 12
(2)
◽
pp. 93-104
◽
2006 ◽
Vol 21
(5)
◽
pp. 1428-1436
◽