SML Prototypes for Z Specifications, Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	57-63
Number of pages	7
Publication status	Published - 2002
Event	Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development - Programming Technology Laboratory, Free University of Brussels Duration: 1 Sept 2002 → …

Conference	Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development
Abbreviated title	ASE 2002
Period	1/09/02 → …

Cite this

@conference{c2904814a0e94dbf901750dbf27bf7b1,

title = "SML Prototypes for Z Specifications, Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development",

author = "Michaelson, {Gregory John}",

year = "2002",

language = "English",

pages = "57--63",

note = "Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development, ASE 2002 ; Conference date: 01-09-2002",

}