Formal Interface-Component Based Software Analysis and Design
2020 ◽
Vol 5
(2)
◽
pp. 221
2021 ◽
2019 ◽
Vol 20
(5)
◽
pp. 947-954
◽
Keyword(s):
2017 ◽
Vol 28
(5)
◽
pp. 733-748
◽