"Aaltonen, T." - Selaus tekijän mukaan Väitöskirjat
Viitteet 1-1 / 1
-
Validating correctness with behavioural abstractions
Tampereen teknillinen yliopisto, Julkaisu : 550 (Tampere University of Technology, 2005)
Artikkeliväitöskirja
Viitteet 1-1 / 1
