The Korso case study for software engineering with formal methods: A medical information system
2016 ◽
Vol 11
(10)
◽
pp. 1003-1008
Keyword(s):
1970 ◽
Vol 09
(03)
◽
pp. 149-160
◽
Keyword(s):
2013 ◽
Vol 33
(6)
◽
pp. 1790-1792
◽
2016 ◽
Vol 34
(1)
◽
pp. 102-116
◽