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

Research output: Contribution to conferencePaper

Original languageEnglish
Pages57-63
Number of pages7
Publication statusPublished - 2002
EventProceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development - Programming Technology Laboratory, Free University of Brussels
Duration: 1 Sep 2002 → …

Conference

ConferenceProceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development
Abbreviated titleASE 2002
Period1/09/02 → …

Cite this