Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Nisansala Yatapanage.

Newcastle AuthorsTitleYearFull text
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example2019
Professor Cliff Jones
Dr Nisansala Yatapanage
Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example2018
Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development2017
Professor Cliff Jones
Dr Nisansala Yatapanage
Reasoning about Separation Using Abstraction and Reification2015