Publications by Diego Machado Dias - ePrints

Newcastle Authors	Title	Year	Full text
Diego Machado Dias Dr Leo Freitas Emeritus Professor Cliff Jones	Abstracting Interference in Postconditions	2014
Diego Machado Dias Dr Leo Freitas	Designing an unbounded buffer in rely-guarantee	2014