Symbolic Animation of JML Specifications

☆ Save

Fabrice Bouquet,Frédéric Dadeau,Bruno Legeard,Mark Utting

published 1st of January, 2005

Comments 0

No comments yet. Be the first to say something about this.

Looking for a structured thread — a question, a reproduction problem, a benchmark result? Start a discussion instead.

Read the paper

Details

HuggingPeers ID: ID hpp-zokZP2qH82A
Publication: FM
Published: 1st of January, 2005

Provenance 1

Source	ID	Citations
DBLP	conf/fm/BouquetDLU05	—

Cite this paper

@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  -