Reducing Partial Equivalence to Partial Correctness
| contributor author | Ciobaca, Stefan | |
| date accessioned | 2020-03-12T23:00:58Z | |
| date available | 2020-03-12T23:00:58Z | |
| date issued | 2014 | |
| identifier other | 7034680.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1102512?show=full | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Reducing Partial Equivalence to Partial Correctness | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8245470 | |
| subject keywords | Indexes | |
| subject keywords | n Integrated circuits | |
| subject keywords | n Silicon | |
| subject keywords | n Optoelectronic Devices | |
| subject keywords | n Silicon Photonics | |
| identifier doi | 10.1109/CCE.2014.6916671 | |
| journal title | ymbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium | |
| filesize | 238991 | |
| citations | 0 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||