The SLCO Framework for Verified, Model-Driven Construction of Component Software
2017 ◽
Vol 12
(1)
◽
pp. 30
2009 ◽
Vol 38
(38)
◽
pp. 119-130
2019 ◽
Vol 7
(2)
◽
pp. 1016-1019
Keyword(s):