In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …
R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke