Diagrams and intuitive formal specifications

James Burton. Diagrams and intuitive formal specifications. In IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings. pages 262-263, IEEE, 2008. [doi]

Authors

James Burton

This author has not been identified. Look up 'James Burton' in Google