Login / Signup
Refine@IFM
2013
2013
2013
Keyphrases
Publications
2013
Brijesh Dongol
,
John Derrick
Data refinement for true concurrency
Refine@IFM
(2013)
Michael J. Butler
,
John Colley
,
Andrew Edmunds
,
Colin F. Snook
,
Neil Evans
,
Neil Grant
,
Helen Marshall
Modelling and Refinement in CODA
Refine@IFM
(2013)
Frank Zeyda
,
Ana Cavalcanti
Refining SCJ Mission Specifications into Parallel Handler Designs
Refine@IFM
(2013)
Nuno Amálio
Relaxing Behavioural Inheritance
Refine@IFM
(2013)
Alexandre Madeira
,
Manuel A. Martins
,
Luís Soares Barbosa
Bisimilarity and refinement for hybrid(ised) logics
Refine@IFM
(2013)
Emil Sekerinski
,
Tian Zhang
On a New Notion of Partial Refinement
Refine@IFM
(2013)
volume 115, 2013
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013.
Refine@IFM
115 (2013)