Formal specifications of computer-based systems
2012 ◽
Vol 39
(9)
◽
pp. 993-1004
◽
1987 ◽
Vol 45
◽
pp. 588-589
Keyword(s):
1973 ◽
Vol 37
(8)
◽
pp. 27-31
1991 ◽
Vol 55
(4)
◽
pp. 262-263
2020 ◽
Vol 63
(4)
◽
pp. 1270-1281
2020 ◽
Vol 63
(4)
◽
pp. 1071-1082