In: ACL (Hrsg.). Proceedings of the15th International Conference on Computational Linguistics (COLING '94). International Conference on Computational …
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …