Components for automatic horn clause verification

Bishoksan Kafle

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

OriginalsprogEngelsk
Udgivelses stedRoskilde
ForlagRoskilde Universitet
Antal sider148
StatusUdgivet - 2016

Citer dette

Kafle, B. (2016). Components for automatic horn clause verification. Roskilde: Roskilde Universitet.
Kafle, Bishoksan. / Components for automatic horn clause verification. Roskilde : Roskilde Universitet, 2016. 148 s.
@phdthesis{fb771d9e5ad042c3bfbfb5e079938a4c,
title = "Components for automatic horn clause verification",
author = "Bishoksan Kafle",
year = "2016",
language = "English",
publisher = "Roskilde Universitet",

}

Kafle, B 2016, Components for automatic horn clause verification. Roskilde Universitet, Roskilde.

Components for automatic horn clause verification. / Kafle, Bishoksan.

Roskilde : Roskilde Universitet, 2016. 148 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Components for automatic horn clause verification

AU - Kafle, Bishoksan

PY - 2016

Y1 - 2016

M3 - Ph.D. thesis

BT - Components for automatic horn clause verification

PB - Roskilde Universitet

CY - Roskilde

ER -

Kafle B. Components for automatic horn clause verification. Roskilde: Roskilde Universitet, 2016. 148 s.