Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Andrius Velykis.

Newcastle AuthorsTitleYearFull text
Emeritus Professor Cliff Jones
Dr Andrius Velykis
Dr Nisansala Yatapanage
General Lessons from a Rely/Guarantee Development2017
Professor Ian Hayes
Dr Andrius Velykis
An Algebra of Synchronous Atomic Steps2016
Dr Leo Freitas
Emeritus Professor Cliff Jones
Dr Andrius Velykis
Dr Iain Whiteside
A Model for Capturing and Replaying Proof Strategies2014