Model Checking Software

MLA

Dragan Bošnački, Anton Wijs, and Anton Wijs. Model Checking Software. Springer International Publishing, 2016.

APA

Dragan Bošnački, A. Wijs, & Wijs, A. (2016). Model Checking Software. Springer International Publishing.

Chicago

Dragan Bošnački, Anton Wijs, and Anton Wijs. Model Checking Software. : Springer International Publishing, 2016.