Combining model-based testing and stepwise formal development


Autoria(s): Malik, Qaisar Ahmed
Data(s)

13/10/2010

12/01/2011

13/10/2010

12/01/2011

04/10/2010

Identificador

http://www.doria.fi/handle/10024/64006

URN:ISBN:978-952-12-2467-6

Idioma(s)

en

Direitos

Publikationen är skyddad av upphovsrätten. Den får läsas och skrivas ut för personligt bruk. Användning i kommersiellt syfte är förbjuden.

Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.