Automatic verification of industrial designs
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
A rudimentary machine: experiences in the design of a pedagogic computer
WCAE '98 Proceedings of the 1998 workshop on Computer architecture education
Hi-index | 0.00 |