مرور بر اساس تاریخ انتشار Bloem, Roderick. ;
Showing results 1 to 1 of 1
| Preview | Issue Date | Title | Contributor(s) |
|---|---|---|---|
 | 2018 | Handbook of Model Checking | Clarke, Edmund M. ;; Henzinger, Thomas A. ;; Veith, Helmut. ;; Bloem, Roderick. ; |