| 000 | 00439nam a22001457a 4500 | ||
|---|---|---|---|
| 005 | 20220518154743.0 | ||
| 008 | 171218b xxu||||| |||| 00| 0 eng d | ||
| 041 | _aeng | ||
| 082 | _a4889 | ||
| 100 |
_aShani Raj _92915 |
||
| 245 | _aFormal Verification of saftey Critical Software for Human Spaceflight Programme using PVS theorem Prover | ||
| 260 |
_aKochi 22 _bDepartment of Computer Science,CUSAT _c2010 |
||
| 300 | _a95p. | ||
| 942 | _cBK | ||
| 999 |
_c241694 _d241694 |
||