Michael Blesel

Doctoral Researcher

M.Sc. Michael Blesel

Universitätsplatz 2, 39106 Magdeburg, Building 29, Room 309
Publications

2021

Book chapter

heimdallr - improving compile time correctness checking for message passing with rust

Blesel, Michael; Kuhn, Michael; Squar, Jannek

In: High Performance Computing - Cham: Springer International Publishing; Jagode, Heike . - 2021, S. 199-211 - (Theoretical Computer Science and General Issues; 12761)

Courses

Last Modification: 10.05.2023 - Contact Person: Webmaster