"Exploring the Future of Design: Formal Engineering Design Synthesis, Erik ..."

Jeff Heisserman (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics