Observable Sharing for Functional Circuit Description. (1999)

by K Claessen, D Sands
Venue:In Asian Computer Science Conference,