Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Papers
Schneider et al., 2011
Links
[www.researchgate.net]
|
PDF
Tools
Export citation
×
Format
BibTeX
@article{Schneider2011, author = {Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, month = {mar}, title = {Stepwise Refinement in Event-B CSP. Part 1: Safety}, url = {https://www.researchgate.net/profile/Helen_Treharne/publication/277739800_Stepwise_Refinement_in_Event-B_CSP_Part_1_Safety/links/568a7b7f08ae1e63f1fbcc7c.pdf}, year = {2011} }
Export citation
Search in Google Scholar
Stepwise Refinement in Event-B CSP. Part 1: Safety
Journal article published in 2011 by
Steve Schneider
,
Helen Treharne
,
Heike Wehrheim
This paper is available in a repository.
Full text:
Download
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload