I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verification of Temporal Properties of Functional Programs

Reference:

Ruslan Ledesma-Garza. Verification of Temporal Properties of Functional Programs. Master's thesis, Saarland University, 2011.

Suggested BibTeX entry:

@mastersthesis{RuslanMasters,
    author = {Ruslan Ledesma-Garza},
    school = {Saarland University},
    title = {{Verification of Temporal Properties of Functional Programs}},
    year = {2011}
}

This work is not available online here.