Sciweavers

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