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 01.01.2005, 00:00 by Mario R. Barbacci
Computer Science Department

History

Date

01/01/2005

Usage metrics

Exports