Return to search

Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels

Thèse de doctorat : Informatique : Nancy 1 : 2008. Thèse de doctorat : Informatique : Università degli studi (Milan, Italie) : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr. Index.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494447664
Date January 2008
CreatorsZucchelli, Daniele Rusinowitch, Michaël Ghilardi, Silvio.
PublisherS. l. : S. l. : Nancy 1 ; Università degli studi (Milan, Italie),
Source SetsOCLC
LanguageEnglish
Detected LanguageFrench

Page generated in 0.0012 seconds