cfaed Publications
Verifying the Rust Runtime of Lingua Franca
Reference
Johannes Hayeß, "Verifying the Rust Runtime of Lingua Franca", Master's thesis, TU Dresden, March 2023.
Bibtex
@mastersthesis{Hayess-diploma23,
title={Verifying the Rust Runtime of Lingua
Franca},
author={Johannes Hayeß},
year={2023},
month=march,
school={TU Dresden},
}
title={Verifying the Rust Runtime of Lingua
Franca},
author={Johannes Hayeß},
year={2023},
month=march,
school={TU Dresden},
}
Downloads
2303_Hayess_MA [PDF]
Related Paths
Permalink
https://cfaed.tu-dresden.de/publications?pubId=3535