एपीए उद्धरण

(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.

शिकागो स्टाइल उद्धरण

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.

एमएलए उद्धरण

Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.