Verification of Scheme Plans Using CSP || B

Conference Paper/Proceeding/Abstract 1470 views

Philip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, Matthew Trumble, David Williams, Phillip James

Software Engineering and Formal Methods, Volume: 8368, Pages: 189 - 204

Swansea University Author: Phillip James

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1007/978-3-319-05032-4_15

Published in:	Software Engineering and Formal Methods
ISBN:	978-3-319-05031-7 978-3-319-05032-4
ISSN:	0302-9743 1611-3349
Published:	2014
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa37085

College:	Faculty of Science and Engineering
Start Page:	189
End Page:	204