Applied formal methods for correct VLSI design: Proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989 (Participants ed.). Elsevier.
Chicago-Zitierstil (17. Ausg.)Applied Formal Methods for Correct VLSI Design: Proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989. Participants ed. Amsterdam: Elsevier.
MLA-Zitierstil (9. Ausg.)Applied Formal Methods for Correct VLSI Design: Proceedings of the IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Congress Center "Hengelhoef", Houthalen, Belgium, 13 - 16 November 1989. Participants ed. Elsevier.