IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ((June :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Advances in formal design methods for CAD : = proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /
by:
Gero, John S. (1943-.); Sudweeks, Fay.; International Federation for Information Processing.; IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ((June :)
(Language materials, printed)
Subjects