Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

بواسطة Ahmed Bouajjani
4/5
نشرت لأول مرة
May 01, 2011
الناشرون
Springer

كتب

كتب مماثلة