![Formal methods / Programming paradigms / Cross-platform software / Theoretical computer science / Logic in computer science / Infusion pump / Model checking / Formal verification / Java / Object-oriented programming / Coupling / Design by contract Formal methods / Programming paradigms / Cross-platform software / Theoretical computer science / Logic in computer science / Infusion pump / Model checking / Formal verification / Java / Object-oriented programming / Coupling / Design by contract](https://www.pdfsearch.io/img/82d4929d48a21ebaa9ec3e303fcf7df6.jpg) Date: 2003-08-25 12:18:38Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract | | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading ListSource URL: bsd7.cs.sunysb.eduDownload Document from Source Website File Size: 227,15 KBShare Document on Facebook
|