%A Fazakas Antal %A Tarnay Katalin %P 29 %D 2002 %C Szeged %I University of Szeged %L acta59651 %K SzĂĄmĂtĂĄstechnika - elĹadĂĄskivonat %T Inline expressions in protocol test specification : [abstract] %J Conference of PhD Students in Computer Science %V 3