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, Mai 1997.

Contact

Ioannis Parissis

Référence BibTex

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

Référence EndNote [help]

Charger la référence EndNote (.ref)