The following pages link to Chris George (Q469999):
Displayed 8 items.
- Model checking RAISE applicative specifications (Q470000) (← links)
- The NDB database specified in the RAISE specification language (Q1184683) (← links)
- Applicative Modelling with RAISE (Q3525018) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- (Q4680192) (← links)
- (Q4790357) (← links)
- (Q4845494) (← links)
- (Q4845499) (← links)