Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems
2009 ◽
Vol 230
◽
pp. 161-187
◽
2008 ◽
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 1
(88)
◽
pp. 48-58
◽
Keyword(s):