If you made any changes in Pure these will be visible here soon.

Research Output 2008 2018

Filter
Abstract
2016

Evaluating the Effects of Colour in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 1 Jan 2016, p. 283-285. 3 p.

Research output: Contribution to conferenceAbstractResearch

Open Access
File
2008

Diagrams and intuitive formal specifications

Burton, J., 1 Sep 2008, p. 262-263. 2 p.

Research output: Contribution to conferenceAbstractResearchpeer-review

Specifications
Formal methods
Formal specification

Types and programs from Euler diagrams

Burton, J., 1 Jan 2008, p. 357-359. 3 p.

Research output: Contribution to conferenceAbstractResearchpeer-review

Computer programming languages