Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Nisansala Yatapanage.

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