FFJMM_STTT12

Y. Falcone, J.-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. More testable properties. (4):407-437, 2012.

Contact

Ylies Falcone

BibTex Reference

@article{FFJMM_STTT12,
   Author = {Falcone, Y. and Fernandez, J.-C. and Jéron, T. and Marchand, H. and Mounier, L.},
   Title = {More testable properties},
   Number = {4},
   Pages = {407--437},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)