Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Diego Machado Dias.

Newcastle AuthorsTitleYearFull text
Diego Machado Dias
Dr Leo Freitas
Professor Cliff Jones
Abstracting Interference in Postconditions2014
Diego Machado Dias
Dr Leo Freitas
Designing an unbounded buffer in rely-guarantee2014