Testing and verifying invariant based programs in the SOCOS environment
Finna-arvio
Testing and verifying invariant based programs in the SOCOS environment
Tallennettuna:
Ulkoasu |
19, [3] sivua : kuvitettu ; 25 cm |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
Turku :
Turku Centre for Computer Science,
2006.
|
Sarja | TUCS technical report, ISSN 1239-1891; no 797. |
Luokitus | |
Lisätiedot | Ralp-Johan Back, Johannes Eriksson, Magnus Myréen |
ISBN |
952-12-1835-5 nidottu |
Hae kokoteksti |