Results for program transformation

Publications & Outputs

1. An approach to synthesise safe systems

   Jhumka, A., Freiling, F., Fetzer, C. & Suri, N., 2006, In: International Journal of Security and Networks. 1, 1-2, p. 62-74 13 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review