BibTeX record conf/forte/FabbriMMDW95

• > Home > conf/forte/FabbriMMDW95

@inproceedings{DBLP:conf/forte/FabbriMMDW95,
  author       = {Sandra Camargo Pinto Ferraz Fabbri and
                  Jos{\'{e}} Carlos Maldonado and
                  Paulo C{\'{e}}sar Masiero and
                  M{\'{a}}rcio Eduardo Delamaro and
                  W. Eric Wong},
  editor       = {Gregor von Bochmann and
                  Rachida Dssouli and
                  Omar Rafiq},
  title        = {Mutation Testing Applied to Validate Specifications Based on Petri
                  Nets},
  booktitle    = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
                  Eighth International Conference on Formal Description Techniques,
                  Montreal, Canada, October 1995},
  series       = {{IFIP} Conference Proceedings},
  volume       = {43},
  pages        = {329--337},
  publisher    = {Chapman {\&} Hall},
  year         = {1995},
  timestamp    = {Thu, 18 Aug 2022 13:33:52 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/FabbriMMDW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}