एपीए उद्धरण

(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

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

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

एमएलए उद्धरण

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.