On the semantic relation of Z and HOL
Keyword(s):
Keyword(s):
2011 ◽
Vol 23
(6)
◽
pp. 845-858
◽
2020 ◽
Vol 71
(1)
◽
pp. 69-89
Keyword(s):