"What is a formal representation in design and what is it good for?"

L.K. Alberts

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Formal Design Methods for Computer-Aided Design
Place of Publication	Amsterdam
Publisher	North Holland
Pages	59-70
ISBN (Print)	0 444 819703
Publication status	Published - 1994

Keywords

@inbook{bd44bc27148646e8b11c0afb8aa1b288,

title = "{"}What is a formal representation in design and what is it good for?{"}",

keywords = "METIS-118953",

author = "L.K. Alberts",

year = "1994",

language = "Undefined",

isbn = "0 444 819703",

pages = "59--70",

booktitle = "Formal Design Methods for Computer-Aided Design",

publisher = "North Holland",

address = "Netherlands",

}