Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Numerical calculations -- Verification -- Data processing
1 2005 Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings ATVA (Symposium) (3rd : 2005 : Taipei, Taiwan) Rating: Electronic Resources More...
2 2023 Formal verification of structurally complex multipliers Mahzoon, Alireza, author Cham, Switzerland : Springer, [2023] Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings