Behavioral Interface Contracts for Java

Robert B. Findler, Matthias Felleisen

Research output: Book/ReportOther report

Original languageEnglish
PublisherUnknown Publisher
StatePublished - Aug 2000

Cite this

Findler, R. B., & Felleisen, M. (2000). Behavioral Interface Contracts for Java. Unknown Publisher.
Findler, Robert B. ; Felleisen, Matthias. / Behavioral Interface Contracts for Java. Unknown Publisher, 2000.
@book{0ac7b699abd34d8a8f2376b2631c7fd2,
title = "Behavioral Interface Contracts for Java",
author = "Findler, {Robert B.} and Matthias Felleisen",
note = "reportnumber: TR00-366",
year = "2000",
month = "8",
language = "English",
publisher = "Unknown Publisher",

}

Findler, RB & Felleisen, M 2000, Behavioral Interface Contracts for Java. Unknown Publisher.

Behavioral Interface Contracts for Java. / Findler, Robert B.; Felleisen, Matthias.

Unknown Publisher, 2000.

Research output: Book/ReportOther report

TY - BOOK

T1 - Behavioral Interface Contracts for Java

AU - Findler, Robert B.

AU - Felleisen, Matthias

N1 - reportnumber: TR00-366

PY - 2000/8

Y1 - 2000/8

M3 - Other report

BT - Behavioral Interface Contracts for Java

PB - Unknown Publisher

ER -

Findler RB, Felleisen M. Behavioral Interface Contracts for Java. Unknown Publisher, 2000.