Combining model-based testing and stepwise formal development
Malik, Qaisar Ahmad (2010-10-04)
Turku Centre for Computer Science (TUCS)
04.10.2010
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.