Gaya APA

holcombe, M. (). Software Engineering and Formal Methods . ireland: Springer.

Gaya MLA

holcombe, Mike. "Software Engineering and Formal Methods". ireland: Springer, . Text.