Concepedia
Foreign Affairs · 1986 · 29 citations · 0 references
ComputingMathematicsFormal MethodsVerification