129
click to vote
AMAST
1997
Springer
15 years 14 days ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...