Analysis and Verification of Service Contracts

Joseph Okika

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

3261 Downloads (Pure)
OriginalsprogDansk
Udgivelses stedAalborg
ForlagDepartment of Computer Science, Aalborg University
Antal sider238
StatusUdgivet - 2010

Citer dette

Okika, J. (2010). Analysis and Verification of Service Contracts. Aalborg: Department of Computer Science, Aalborg University.
Okika, Joseph. / Analysis and Verification of Service Contracts. Aalborg : Department of Computer Science, Aalborg University, 2010. 238 s.
@phdthesis{eeba58bc2010437e80f2527e51bf002b,
title = "Analysis and Verification of Service Contracts",
author = "Joseph Okika",
year = "2010",
language = "Dansk",
publisher = "Department of Computer Science, Aalborg University",

}

Okika, J 2010, Analysis and Verification of Service Contracts. Department of Computer Science, Aalborg University, Aalborg.

Analysis and Verification of Service Contracts. / Okika, Joseph.

Aalborg : Department of Computer Science, Aalborg University, 2010. 238 s.

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

TY - BOOK

T1 - Analysis and Verification of Service Contracts

AU - Okika, Joseph

PY - 2010

Y1 - 2010

M3 - Ph.d.-afhandling

BT - Analysis and Verification of Service Contracts

PB - Department of Computer Science, Aalborg University

CY - Aalborg

ER -

Okika J. Analysis and Verification of Service Contracts. Aalborg: Department of Computer Science, Aalborg University, 2010. 238 s.