Symbolic Animation of JML Specifications

@article{bouquet2005,
  title = {Symbolic Animation of JML Specifications},
  author = {Fabrice Bouquet and Frédéric Dadeau and Bruno Legeard and Mark Utting},
  journal = {FM},
  year = {2005},
  month = {Jan},
  doi = {10.1007/11526841_7},
  url = {https://doi.org/10.1007/11526841_7},
}

Fabrice Bouquet et al. (2005). Symbolic Animation of JML Specifications. FM. https://doi.org/10.1007/11526841_7

Fabrice Bouquet, et al.. "Symbolic Animation of JML Specifications." FM, 2005, https://doi.org/10.1007/11526841_7.

Fabrice Bouquet, et al.. "Symbolic Animation of JML Specifications." FM (2005). https://doi.org/10.1007/11526841_7

Fabrice Bouquet et al., 2005. Symbolic Animation of JML Specifications. FM. Available at: <https://doi.org/10.1007/11526841_7>.

TY  - JOUR
TI  - Symbolic Animation of JML Specifications
AU  - Fabrice Bouquet
AU  - Frédéric Dadeau
AU  - Bruno Legeard
AU  - Mark Utting
PY  - 2005
JO  - FM
DO  - 10.1007/11526841_7
UR  - https://doi.org/10.1007/11526841_7
ER  -