Bringing Model Checking Closer To Practical Software Engineering

D. Remenska

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Abstract

11843
LanguageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Bal, H.E., Supervisor
Award date8 Feb 2016
Publication statusPublished - 2016

Fingerprint

Model checking
Software engineering

Bibliographical note

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

Cite this

@phdthesis{4f2bf8ace04448318779a5a3b499cf12,
title = "Bringing Model Checking Closer To Practical Software Engineering",
abstract = "11843",
author = "D. Remenska",
note = "Exacte Wetenschappen Naam instelling promotie: Vrije Universiteit Amsterdam Naam instelling onderzoek: Vrije Universiteit Amsterdam",
year = "2016",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Remenska, D 2016, 'Bringing Model Checking Closer To Practical Software Engineering', PhD, Vrije Universiteit Amsterdam.

Bringing Model Checking Closer To Practical Software Engineering. / Remenska, D.

2016.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

TY - THES

T1 - Bringing Model Checking Closer To Practical Software Engineering

AU - Remenska, D.

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

PY - 2016

Y1 - 2016

N2 - 11843

AB - 11843

M3 - PhD Thesis - Research VU, graduation VU

ER -