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 Universitet.