1 Ebooki wg Yih-Kuen Tsay
Doron A. Peled & Yih-Kuen Tsay: Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT ind …
PDF
Angielski
DRM
€57.76
