Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Help
Publications by Ruslan Ledesma-Garza
2011
Ruslan Ledesma-Garza
.
Verification of Temporal Properties of Functional Programs
. Master's thesis, Saarland University, 2011.
Info
Contact
