Proceedings 18th Refinement Workshop: Preface

Journal article

John Derrick, Brijesh Dongol and Steve Reeves

Electronic proceedings in theoretical computer science, Vol.282

24/10/2018

Metrics

2 Record Views

Title: Proceedings 18th Refinement Workshop
Creators: John Derrick - University of Sheffield
Brijesh Dongol - University of Surrey
Steve Reeves - University of Waikato
Publication Details: Electronic proceedings in theoretical computer science, Vol.282
Date published: 24/10/2018
Identifiers: 99928709302346
Academic Unit: School of Computer Science and Electronic Engineering
Language: English
Resource Type: Journal article