|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Formal Techniques for Java-Like Programs (FTfJP'04) |
| Author(s): | Coglio, A.
Huisman, M.
Kiniry, J.R. (248235338)
Müller, P.
Poll, E. (089896793) |
| Publication year: | 2004 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Malenfant, J.; Ostvold, B.M. (eds.),Object-oriented technology : ECOOP 2004 workshop reader, ECOOP 2004 workshops, Oslo, Norway, June 14-18, 2004 : final reports |
| ISBN: | 354023988X
9783540239888 |
| Start page: | p. 76 |
| End page: | p. 83 |
| Series: | Lecture notes in computer science ; 3344 |
| Publisher: | Berlin ; New York : Springer |
| Subject: | Security of Systems |
| Organization: | FSW_Fac. algemeen
Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/60446
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
