Validating correctness with behavioural abstractions
Validating correctness with behavioural abstractions
Saved in:
| Genre | |
|---|---|
| Physical Description |
x, 53, [65] sivua : kuvitettu ; 25 cm |
| Language |
English |
| Language of Original Work |
English |
| Item Description |
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta. |
| Published |
Tampere :
Tampere University of Technology,
2005
|
| Dissertation Note | Väitöskirja Tampereen teknillinen yliopisto |
| Series | Publication / Tampere University of Technology, ISSN 1459-2045; 550. |
| Classification | |
| Manufacturer | (TTY-paino) |
| Additional Information | Timo Aaltonen |
| ISBN |
952-15-1456-6 nidottu |
| Get full text | |