Cita APA

Bartocci. (2013). Model Checking Software (1.). Springer Berlin Heidelberg.

Citación estilo Chicago

Bartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.

Cita MLA

Bartocci. Model Checking Software. 1. Springer Berlin Heidelberg, 2013.

Warning: These citations may not always be 100% accurate.