-P.E. Camurati/H. Eveking (Eds.): Correct Hardware Design and Verification Methods, Springer-Verlag Proceedings 1995