Verified trustworthy software systems
2017 ◽
Vol 375
(2104)
◽
pp. 20150408
2005 ◽
Vol 30
(1)
◽
pp. 4-5
◽
2006 ◽
Vol 39
(4)
◽
pp. 91-92
◽
W. Hasselbring
◽
R. Reussner
2006 ◽
Vol 31
(6)
◽
pp. 1-18
◽
Steffen Becker
◽
Wilhelm Hasselbring
◽
Alexandra Paul
◽
Marko Boskovic
◽
Heiko Koziolek
◽
...
2011 ◽
Vol 28
(6)
◽
pp. 86-92
◽
J. B. Michael
◽
D. Drusinsky
◽
T. W. Otani
◽
Man-Tak Shing
Xiaoying Bai
◽
Atilla Elci
◽
Mohammad Zulkernine
Nary Subramanian
◽
Steven Drager
◽
William McKeever
Mazen Ezzeddine
◽
Haitham Akkary