An Overview of Formal Hardware Specification Languages (0)

by A Bunker, S A McKee, G Gopalakrishnan
Venue:Proc. Grace Hopper Celebration of Women in Computing (GHC2002), October 9-12 2002, British