T. B. Raymond, “Integrating Formal Methods by Unifying Abstractions,” Springer, Berlin, Vol. 2999, 2004, pp. 441-460.
has been cited by the following article:
Related Articles: