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},
}
|