In: Toma¸ Erjavec; Jerneja ´ganec Gros (Hrsg.). Proceedings of the Fifth Slovenian and First International Language Technologies Conference (IS-LTC). …
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …