Parissis97

I. Parissis. Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation. In Atelier Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, May 1997.

Contact

Ioannis Parissis

BibTex Reference

@InProceedings{Parissis97,
   Author = {Parissis, I.},
   Title = {Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation},
   BookTitle = {Atelier Approches Formelles dans l'Assistance au Développement de Logiciels},
   Address = {Toulouse, France},
   Month = {May},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)