Bringing Model Checking Closer To Practical Software Engineering

D. Remenska

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

490 Downloads (Pure)

Abstract

11843
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Bal, HE, Supervisor
  • Templon, J.A., Co-supervisor, External person
  • Willemse, T.A.C., Co-supervisor, External person
Award date8 Feb 2016
Print ISBNs9789462954328
Publication statusPublished - 2016

Bibliographical note

Exacte Wetenschappen
Naam instelling promotie: Vrije Universiteit Amsterdam
Naam instelling onderzoek: Vrije Universiteit Amsterdam

Fingerprint

Dive into the research topics of 'Bringing Model Checking Closer To Practical Software Engineering'. Together they form a unique fingerprint.

Cite this