Search Results
-
1
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Published: Springer, 2005SpringerLink - Click here for accessDescription: 1 online resource (xii, 506 pages) : illustrations.
Conference Proceeding eBook -
2
Formal verification of structurally complex multipliers
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xiii, 130 pages) : illustrations.
eBook