In: Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics. Demo Session (ACL'00), October 3-6. Annual Meeting of the …
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …