Publisher
Springer International Publishing
Reference39 articles.
1. Abrial, J.R., Cansell, D., Méry, D.: Refinement and reachability in Event
$$\_$$
B. In: Proceedings of ZB2005. LNCS, vol. 3455, pp. 222–241. Springer (2005).
https://doi.org/10.1007/11415787_14
2. Amálio, N.: Generative frameworks for rigorous model-driven development. Ph.D. thesis, Department Computer Science, University of York (2007)
3. Amálio, N.: Relaxing behavioural inheritance. In: Proceedings of Refine 2013, EPTCS, vol. 115, pp. 68–83 (2013)
4. Amálio, N.: Behavioural inheritance with relaxed but safe constraints grounded on data refinement. Technical report, Birmingham City University (2018).
http://bit.ly/BI5nl0I
5. Amálio, N.: Isabelle proofs of behavioural inheritance and relaxations (2018).
http://bit.ly/2o0KaI2
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献