Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language
Keyword(s):
2004 ◽
Vol 8
(1)
◽
pp. 7-13
◽
2020 ◽
Vol 2
(2)
◽
pp. 85-96