Constant HandbookModelChecking

pub const HandbookModelChecking: ();

Reference: Handbook of Model Checking.

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, 2018. Handbook of Model Checking.

• DOI:10.1007/978-3-319-10575-8