|
DSpace at RU >
University Library >
Academic bibliography >
| Title: | PVS |
| Author(s): | Jacobs, B.P.F. (073592471)
Rushby, J.
Wiedijk, F. (073588261) |
| Publication year: | 2006 |
| Document type: | Article in monograph or in proceedings |
| Book title: | The seventeen provers of the world |
| ISBN: | 3540307044
9783540307044 |
| Start page: | p. 24 |
| End page: | p. 27 |
| Series: | Lecture notes in computer science ; 3600 |
| 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/35555
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
