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]

Abstract

Abstract is missing.