HEAL DSpace
Using the OTS/CafeOBJ method to formally specify and verify the Open Mobile Alliance license choice algorithm
DSpace/Manakin Repository
JavaScript is disabled for your browser. Some features of this site may not work without it.
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
