Non-Deterministic Program Schemata and Their Relation to Dynamic Logic
1987 ◽
pp. 137-147
◽
Keyword(s):
2020 ◽
Vol 10
(1)
◽
pp. 55-62
Keyword(s):
1994 ◽
Vol 41
(6)
◽
pp. 2244-2251
◽