Proceeding on hardware specification verification and synthesis : Mathematical aspects - Leeser M Ed.; Workshop on hardware specification verification and synthesis : Mathematical aspects (1989 : Lthaca New York); Brown G Ed. (Berlin Springer-Verlag, 1990)
Keywords: Computer science