Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

Fayollas, C., Martinie, C., Palanque, P., Barboni, E., Fahssi, R., & Hamon, A. (2017). Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment (pp. 465–504). https://doi.org/10.1007/978-3-319-51838-1_17