A Specification Driven Environment for Microsystem Design Chapter uri icon

publication date

  • January 1, 1990

start page

  • 9

end page

  • 16