Managing LTL properties in Event-B refinement.

Journal article

Managing LTL properties in Event-B refinement.

S Schneider, H Treharne, H Wehrheim and DM Williams

CoRR, Vol.abs/14

2014

Metrics

17 Record Views

Details

Title: Managing LTL properties in Event-B refinement.
Creators: S Schneider
H Treharne - University of Surrey, School of Computer Science and Electronic Engineering
H Wehrheim
DM Williams
Publication Details: CoRR, Vol.abs/14
Date published: 2014
Date submitted: 17/05/2017
Identifiers: 99515661302346
Academic Unit: University of Surrey; School of Computer Science and Electronic Engineering
Resource Type: Journal article