FORMAL SPECIFICATION FOR DESIGN AUTOMATION Article Proceedings Paper

International Collaboration

cited authors

  • LENART, M; PADAWITZ, P; PASZTOR, A; Gero, JS; Tyugu, E

publication date

  • 1994

published in

category

volume

  • 18

research area