![]() | ![]() |
| 2009 | ||
|---|---|---|
| 1 | Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan: Implementation Specific Verification of Divide and Square Root Instructions. IEEE Symposium on Computer Arithmetic 2009: 114-121 | |
| 1 | Ariel J. Birnbaum | [1] |
| 2 | Elena Guralnik | [1] |
| 3 | Anatoly Koyfman | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page