By the same authors

Proving Theorems About JML Classes

Research output: Contribution to conferencePaper

Standard

Proving Theorems About JML Classes. / Freitas, Leo; Woodcock, Jim.

2007. 255-279.

Research output: Contribution to conferencePaper

Harvard

Freitas, L & Woodcock, J 2007, 'Proving Theorems About JML Classes' pp. 255-279.

APA

Freitas, L., & Woodcock, J. (2007). Proving Theorems About JML Classes. 255-279.

Vancouver

Freitas L, Woodcock J. Proving Theorems About JML Classes. 2007.

Author

Freitas, Leo ; Woodcock, Jim. / Proving Theorems About JML Classes.

Bibtex - Download

@conference{042cc9aa7a4843428c6a94d8fe7b5c5c,
title = "Proving Theorems About JML Classes",
author = "Leo Freitas and Jim Woodcock",
year = "2007",
language = "Undefined/Unknown",
pages = "255--279",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - Proving Theorems About JML Classes

AU - Freitas, Leo

AU - Woodcock, Jim

PY - 2007

Y1 - 2007

M3 - Paper

SP - 255

EP - 279

ER -