lan Rosenfeld and Claudia Pons. Automatic Derivation of Software Test-Cases Code from Formal Models. I. ISSN: 2347-0372 © CONAIISI 2017. 5to Congreso Nacional de Ingeniería Informática / Sistemas de Información. Sta. Fe. Argentina. Nov. 2017.

Bibliography Reference

Format:

BibTeX Source Entry

@misc{raw-2017-lan-rosenfeld-and-claudia-pons-automatic-derivati,
  title = {lan Rosenfeld and Claudia Pons. Automatic Derivation of Software Test-Cases Code from Formal Models. I. ISSN: 2347-0372 © CONAIISI 2017. 5to Congreso Nacional de Ingeniería Informática / Sistemas de Información. Sta. Fe. Argentina. Nov. 2017.},
  author = {Raw Reference},
  year = {2017}
}

Publication Details

Publication Year

2017

Type

inproceedings

Keywords

#formal methods

Involved lab members

Claudia Pons

Investigador