|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | author's version | 162.29 kB | Adobe PDF | View/Open |
|
| Title: | Java Program Verification at Nijmegen: Developments and Perspective |
| Author(s): | Jacobs, B. (073592471)
Poll, E. (089896793)
Futatsugi, K.
Mizoguchi, F.
Yonezaki, N. |
| Publication year: | 2004 |
| Document type: | Article in monograph or in proceedings |
| Book title: | Software Security : Theories and Systems |
| ISBN: | 9783540236351
354030231X |
| Volume: | vol. 3233 |
| Start page: | p. 134 |
| End page: | p. 153 |
| Series: | Lecture notes in computer science |
| Publisher: | Berlin : Springer |
| Annotation: | JacobsP04 |
| Subject: | Security of Systems |
| Organization: | Neurology
Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/57646
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
