Towards correctness-preserving synthesis for real-time software

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Cite this

@inproceedings{099cf5d1ee5841c8b0f0c341cac8e0c2,

title = "Towards correctness-preserving synthesis for real-time software",

author = "J. Huang and J.P.M. Voeten and A. Ventevogel and \{Bokhoven, van\}, L.J.",

year = "2003",

language = "English",

isbn = "90-73461-37-5",

pages = "109--114",

booktitle = "Proc. of PROGRESS'03",

publisher = "STW Technology Foundation",

}