Behavioral Interface Contracts for Java

Robert B. Findler, Matthias Felleisen

Research output: Book/ReportOther report

Original languageEnglish
PublisherUnknown Publisher
Publication statusPublished - Aug 2000

Cite this

Findler, R. B., & Felleisen, M. (2000). Behavioral Interface Contracts for Java. Unknown Publisher.