TY  - BOOK
T1  - Advances in formal design methods for CAD proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
LA  - English
PP  - London
PB  - Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
YR  - 1996
UL  - https://tuklas.up.edu.ph/Record/UP-99796217603100287
OP  - 298
CN  - T 385 A39 1996
SN  - 0412727102
KW  - Computer-aided design.
ER  -