Return to Issue Details The The Formal method in Germany and Russia Download Download PDF