Reducing Partial Equivalence to Partial Correctness
Author:
Publisher:
Year
: 2014DOI: 10.1109/CCE.2014.6916671
Keyword(s): Indexes,n Integrated circuits,n Silicon,n Optoelectronic Devices,n Silicon Photonics
Collections
:
-
Statistics
Reducing Partial Equivalence to Partial Correctness
Show full item record
| 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?locale-attribute=en | |
| 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 |