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