TY - BOOK ID - 127918805 TI - Formal design methods for CAD AU - Gero, John Steven AU - Tyugu, Enn PY - 1994 SN - 0444819703 PB - Amsterdam : North-Holland, DB - UniCat KW - Computer-aided design KW - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:127918805 AB - ER -