Macedo, N., Brunel, J., Chemouil, D., Cunha, A., & Kuperberg, D. (2016). Lightweight specification and analysis of dynamic systems with rich configurations.
Citação norma ChicagoMacedo, Nuno, Julien Brunel, David Chemouil, Alcino Cunha, and Denis Kuperberg. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 2016.
Citação norma MLAMacedo, Nuno, et al. Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. 2016.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.