Components for automatic horn clause verification

Bishoksan Kafle

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

OriginalsprogEngelsk
UdgivelsesstedRoskilde
ForlagRoskilde Universitet
Antal sider148
StatusUdgivet - 2016

Citer dette