TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Validating correctness with behavioural abstractions

Tutkimustuotos

Yksityiskohdat

Julkaisun otsikon käännösValidating correctness with behavioural abstractions
AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
TilaJulkaistu - 2005
OKM-julkaisutyyppiG5 Artikkeliväitöskirja

Julkaisusarja

NimiTampereen teknillinen yliopisto, Julkaisu
KustantajaTampere University of Technology
Vuosikerta550

Julkaisufoorumi-taso