Hardware specification, verification and synthesis : mathematical aspects proceedings - Leeser M Ed.; Conference on Hardware Specification and Systnesis (1989 : New York) (Berlin Springer-Verlag, 1989)
Keywords: Electrical engineering; Hardware