Bartocci. (2013). Model Checking Software (1.). Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)Bartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.
Citatione MLA (8a ed.)Bartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.