Merkliste 
 1 Ergebnisse 
 
1

Meta-Modelling for Formal Software Development:

Sreenivas, A. ; Venkatesh, R. ; Joseph, M.
Electronic Notes in Theoretical Computer Science.  42 (2001)  - p. 1-11 , 2001