مرور بر اساس تاریخ انتشار Narayan Kumar, K. ; editor ;
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Contributor(s) |
|---|---|---|---|
 | 2017 | Automated technology for verification and analysis : | ATVA (Symposium) ; (15th : ; 2017 : ; Pune, India) ;; D'Souza, Deepak, ; editor ;; Narayan Kumar, K. ; editor ; |