Visual Formal Methods R J Walters. Introduction Motivation The Language The tools An example Conclusion.
Visual Modelling R J Walters. Introduction Motivation The Language The tools An example Conclusion.