Verifying Graph Programs with Monadic Second-Order Logic
2021 ◽
pp. 240-261
1996 ◽
Vol 160
(1-2)
◽
pp. 87-143
◽
Keyword(s):
Keyword(s):
2000 ◽
Vol 244
(1-2)
◽
pp. 63-94
◽
Keyword(s):
2008 ◽
Vol 6
(3)
◽
pp. 416-442
◽
Keyword(s):
Keyword(s):
Keyword(s):