M. Ridsdale

	2008
1		M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine: Diagrammatic Reasoning in Separation Logic. Diagrams 2008: 408-411

Coauthor Index

1	Nick Benton (P. N. Benton)	[1]
2	Josh Berdine	[1]
3	Mateja Jamnik	[1]