Publications tagged design
- Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, ProceedingsMark Aagaard, John W. O Leary, editors, Volume 2517 of Lecture Notes in Computer Science, Springer, 2002.
- Studies of Software Design, ICSE 93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993, Selected PapersDavid Alex Lamb, editor, Volume 1078 of Lecture Notes in Computer Science, Springer, 1996.
- Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994, San Jose, California, USA, November 6-10, 1994Jochen A. G. Jess, Richard L. Rudell, editors, IEEE Computer Society, 1994.
- Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993Michael R. Lightner, Jochen A. G. Jess, editors, IEEE Computer Society, 1993.