file.pdf (630.15 kB)
Download file

The symbolic manipulation of computer descriptions : an introduction to ISPS

Download (630.15 kB)
journal contribution
posted on 2005-01-01, 00:00 authored by Mario R. Barbacci
Computer Science Department

History

Date

2005-01-01

Usage metrics

Exports