Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen

Research output: Contribution to journal › Article › Academic › peer-review

Keywords

@article{8a4242dc9642429a812d8c4b82d667bf,

title = "Tussen droom en daad: Formele methoden en gereedschappen bij specificatie en implementatie van open systemen",

keywords = "METIS-118624",

author = "Hendrik Brinksma",

year = "1993",

language = "Undefined",

volume = "35",

pages = "20--30",

journal = "Informatie",

issn = "0019-9907",

publisher = "SDU",

number = "9",

}