Logiikkaohjelmien ekvivalenssitestaus

Reference:

Emilia Oikarinen. Logiikkaohjelmien ekvivalenssitestaus. In Ari Korhonen and Jorma Tarhio, editors, Tietojenkäsittelytieteen päivät 2003, pages 44–47, Espoo, Finland, May 2003. Yliopistopaino. In Finnish.

Suggested BibTeX entry:

@inproceedings{Oikarinen03:tktpv,
    address = {Espoo, Finland},
    author = {Emilia Oikarinen},
    booktitle = {Tietojenk\"asittelytieteen p\"aiv\"at 2003},
    editor = {Ari Korhonen and Jorma Tarhio},
    month = {May},
    note = {In Finnish},
    pages = {44--47},
    publisher = {Yliopistopaino},
    title = {Logiikkaohjelmien ekvivalenssitestaus},
    year = {2003},
}