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]
@inproceedings{Burton08:1,
title = {Diagrams and intuitive formal specifications},
author = {James Burton},
year = {2008},
doi = {10.1109/VLHCC.2008.4639102},
url = {http://dx.doi.org/10.1109/VLHCC.2008.4639102},
researchr = {https://researchr.org/publication/Burton08%3A1},
cites = {0},
citedby = {0},
pages = {262-263},
booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
publisher = {IEEE},
}