A framework for using formal methods in object-oriented software development
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment
2021 ◽
Vol 30
(4)
◽
pp. 1-29
2014 ◽
Vol 687-691
◽
pp. 2272-2275
Keyword(s):
1991 ◽
Vol 13
(1-3)
◽
pp. 287-292
◽
Keyword(s):
Keyword(s):