Automatic checking of instruction specifications

Proceedings of the 19th international conference on Software engineering - ICSE '97 ◽

10.1145/253228.253300 ◽

1997 ◽

Author(s):

Mary Fernández ◽

Norman Ramsey

Download Full-text