Specification and Synthesis of Interface Logic

1991 ◽  
pp. 153-176 ◽  
Author(s):  
Gaetano Borriello
Sign in / Sign up

Export Citation Format

Share Document