Standard

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

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

Publikation: ForskningPhD. afhandling

Harvard

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

APA

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

CBE

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

MLA

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

Vancouver

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

Author

Okika, Joseph / Analysis and Verification of Service Contracts.

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

Publikation: ForskningPhD. afhandling

Bibtex

@book{eeba58bc2010437e80f2527e51bf002b,
title = "Analysis and Verification of Service Contracts",
publisher = "Department of Computer Science, Aalborg University",
author = "Joseph Okika",
year = "2010",

}

RIS

TY - BOOK

T1 - Analysis and Verification of Service Contracts

A1 - Okika,Joseph

AU - Okika,Joseph

PB - Department of Computer Science, Aalborg University

PY - 2010

Y1 - 2010

BT - Analysis and Verification of Service Contracts

ER -