Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings - Borrione, Dominique; Paul, Wolfgang; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Computer hardware; Software engineering; Logic design; Artificial intelligence; Computer aided design; Computer Science; Logics and Meanings of Programs; Computer Hardware; Software Engineering; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics).; Computer-Aided Engineering (CAD, CAE) and Design