CAP Project

[ChenRWYZ16] A Two-Way Path Between Formal and Informal Design of Embedded Systems Chen, M.; Ravn, A. P.; Wang, S.; Yang, M. and Zhan, N. In Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers, pages 65-92, Springer, Lecture Notes in Computer Science 10134, 2016.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-52228-9_4