Meta-Modelling for Formal Software Development

Ashok Sreenivas, R. Venkatesh, Mathai Joseph. Meta-Modelling for Formal Software Development. Theoretical Computer Science, 42:1-11, 2001. [doi]

Abstract

Abstract is missing.