Formal Methods for Eternal Networked Software Systems

MLA

Bernardo, Marco, et al. Formal Methods for Eternal Networked Software Systems. Springer Berlin Heidelberg, 2011.

APA

Bernardo, M., Issarny, V., Kanade, T., & Kittler, J. (2011). Formal Methods for Eternal Networked Software Systems. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco, Valérie Issarny, Takeo Kanade, and Josef Kittler. Formal Methods for Eternal Networked Software Systems. : Springer Berlin Heidelberg, 2011.