Collecting potential optimisations

Nancy Mazur, Gerda Janssens, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic Based Program Synthesis and Transformation
Pages	109-110
Number of pages	2
Volume	2664
Publication status	Published - 2002

Name	Logic Based Program Synthesis and Transformation

Cite this

@inproceedings{c512d48c4cab451c90ab3dad1592b03a,

title = "Collecting potential optimisations",

author = "Nancy Mazur and Gerda Janssens and Wim Vanhoof",

year = "2002",

language = "English",

volume = "2664",

series = "Logic Based Program Synthesis and Transformation ",

pages = "109--110",

booktitle = "Logic Based Program Synthesis and Transformation",

}