Author

Christoph M. Kirsch

2 books found

Cover of Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management

Christoph M. Kirsch · First published 2017

Cover of Embedded Software

Embedded Software

Thomas A. Henzinger, Christoph M. Kirsch · First published 2003