Sciweavers

5630 search results - page 12 / 1126
» Computability in Specification
Sort
View
98
Voted
ARITH
2009
IEEE
15 years 10 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...