Formal methods in computer-aided design - Gopalakrishnan Ganesh ed.; International Conference, FMCAD '98 on Formal Methods in Computer-Aided Design (2nd : 4-6 Nov 1998 : California,USA); International conference, FMCAD '98 on formal methods in computer-aided design California, USA 4-6 Nov 1998 (Berlin Springer-Verlag, 1998)
Keywords: Computer architecture