The practice of formal methods in safety-critical systems
1995 ◽
Vol 28
(1)
◽
pp. 77-87
◽
2013 ◽
Vol 23
(4)
◽
pp. 675-675
1988 ◽
Vol 12
(10)
◽
pp. 539-546
◽
2015 ◽
Vol 08
(10)
◽
pp. 531-538
◽
Keyword(s):
1992 ◽
Vol 18
(1)
◽
pp. 33-60
◽
Keyword(s):