Schaltkreisentwicklung

	Correct Hardware Design and Verification Methods. IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings (Lecture Notes in Computer Science Vol. 683) von George J. Milne		Correct Hardware Design and Verification Methods. IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science Vol. 987) von Paolo Enrico Camurati
	Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science Vol. 1166) von Mandayam Srivas

• Informatik Forum