Onderzoek en ontwikkeling op het gebied van formele specificatietalen

DSpace/Manakin Repository

Bergstra, J.A.; Renardel de Lavalette, G.R.

(1990) Informatie : maandblad voor informatieverwerking, volume 32, issue 1, pp. 73 - 83

(Article)

Download/Full Text

ISSN: 0019-9907

Publisher: Kluwer (now part of Springer)

See more statistics about this item