Translating Event-B Machines to Database Applications
Keyword(s):
2015 ◽
Vol 2
(1)
◽
pp. 15-24
◽
Keyword(s):
2015 ◽
Vol 40
(3)
◽
pp. 1-39
◽
Keyword(s):
2000 ◽
Vol 48
(1-2)
◽
pp. 63-68
◽
1976 ◽
Vol 1
(1)
◽
pp. 53-65
◽