Emeritus Professor Cliff Jones
Dr Nisansala Yatapanage
| Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example | 2019 |
|
Emeritus Professor Cliff Jones
Dr Nisansala Yatapanage
| Investigating the limits of rely/guarantee conditions based on a concurrent garbage collector example | 2018 |
|
Emeritus Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
| General Lessons from a Rely/Guarantee Development | 2017 |
|
Emeritus Professor Cliff Jones
Dr Nisansala Yatapanage
| Reasoning about Separation Using Abstraction and Reification | 2015 |
|
