Thesis Details

Verification of programs with complex data structures

Ph.D. Thesis Student: Rogalewicz Adam Academic Year: 2007/2008 Supervisor: Vojnar Tomáš, prof. Ing., Ph.D.

Czech title

Verifikace programů se složitými datovými strukturami

Language

English

Abstract

Keywords

Department

Department of Intelligent Systems FIT BUT

Degree Programme

Information Technology, Field of Study Information Technology

Files

Status

defended

Date

28 November 2007

Citation

ROGALEWICZ, Adam. Verification of programs with complex data structures. Brno, 2007. Ph.D. Thesis. Brno University of Technology, Faculty of Information Technology. 2007-11-28. Supervised by Vojnar Tomáš. Available from: https://www.fit.vut.cz/study/phd-thesis/161/

BibTeX

@phdthesis{FITPT161,
    author = "Adam Rogalewicz",
    type = "Ph.D. thesis",
    title = "Verification of programs with complex data structures",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2007,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/161/"
}

Theses