Author: Nick Benton

Nick Benton

Nick Benton

Publications

Publication period start: 2008
Publication period end: 2008
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
M. Ridsdale
1
Mateja Jamnik
1
Josh Berdine
1

Productive Colleagues

Most productive colleagues in number of publications
M. Ridsdale
1
Josh Berdine
1
Mateja Jamnik
5

Publications

Ridsdale, M., Jamnik, Mateja, Benton, Nick, Berdine, Josh (2008): Diagrammatic Reasoning in Separation Logic. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 408-411. http://dx.doi.org/10.1007/978-3-540-87730-1_50