|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | Midlet Navigation Graphs in JML |
| Author(s): | Mostowski, W.I. (298971577)
Poll, E. (089896793) |
| Publication year: | 2011 |
| Document type: | Part of book or chapter of book |
| Book title: | Davies, J.;Silva, L.;Simao, A. [et al.] (ed.), Formal Methods: Foundations and Applications |
| ISBN: | 9783642198281 |
| Start page: | p. 17 |
| End page: | p. 32 |
| Series: | Lecture Notes in Computer Science ; 6527 |
| Publisher: | Berlin / Heidelberg : Springer |
| Annotation: | Scientific publication |
| Subject: | Digital Security |
| Organization: | Digital Security
Security of Systems |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/92072
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
