Bringing Model Checking Closer To Practical Software Engineering

D. Remenska

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

758 Downloads (Pure)

Abstract

11843

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Bal, Henri, Supervisor Templon, J.A., Co-supervisor, - Willemse, T.A.C., Co-supervisor, -
Award date	8 Feb 2016
Print ISBNs	9789462954328
Publication status	Published - 2016

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

@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",

isbn = "9789462954328",

type = "PhD-Thesis - Research and graduation internal",

school = "Vrije Universiteit Amsterdam",

}