|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | publisher's version | 109.69 kB | Adobe PDF | Under Embargo
until further notice
|
|
| Title: | Formal Techniques for Java-Like Programs |
| Author(s): | Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E. (089896793) |
| Publication year: | 2004 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Buschmann, F.; Buchmann, A.P.; Cilia, M.A. (eds.), Object-oriented technology : ECOOP 2003 workshop reader : ECOOP 2003 workshops, Darmstadt, Germany, July 21-25, 2003, final reports |
| ISBN: | 354022405X
9783540224051 |
| Start page: | p. 62 |
| End page: | p. 71 |
| Series: | Lecture notes in computer science ; 3013 |
| Publisher: | Berlin ; New York : Springer |
| Subject: | Security of Systems |
| Organization: | Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/60445
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
