Verification--how much is enough?

Verification--how much is enough? / Allan S. Krass.

Saved in:

Bibliographic Details
Main Author:	Krass, Allan S.
Corporate Author:	Stockholm International Peace Research Institute
Format:	Book
Language:	English
Published:	Lexington, Mass. : Lexington Books, c1985.
Subjects:	Nuclear arms control > Verification. Arms control > Verification.

Similar Items

The UN Inspections in Iraq : Lessons For On-site Verification
by: Bailey, Kathleen C.
Published: (2019)

On-site inspection in theory and practice : a primer on modern arms control regimes
by: Rueckert, George L.
Published: (1998)

Seismological Research Requirements for a Comprehensive Test-Ban Monitoring System.
by: Staff, National Research Council
Published: (1900)

Deadly arsenals : nuclear, biological, and chemical threats
by: Cirincione, Joseph
Published: (2005)

Deadly arsenals : tracking weapons of mass destruction
by: Cirincione, Joseph
Published: (2002)

The politics of verification
by: Gallagher, Nancy W., 1961-
Published: (1999)

Reversing the arms race : how to achieve and verify deep reductions in the nuclear arsenals
Published: (1990)

Forensic seismology and nuclear test bans
by: Douglas, Alan, 1936-2015
Published: (2013)

The age of deception : nuclear diplomacy in treacherous times
by: El Baradei, Mohamed
Published: (2011)

Germ Gambits : the Bioweapons Dilemma, Iraq and Beyond.
by: Smithson, Amy
Published: (2011)

Compliance and the future of arms control : report of a project sponsored by the Center for International Security and Arms Control, Stanford University, and Global Outlook ; Gloria Duffy, project director.
Published: (1988)

The United Nations and Iraq : defanging the viper
by: Krasno, Jean E., 1943-
Published: (2003)

The Iran nuclear issue
Published: (2010)

Looking for a demarcation between nuclear transparency and nuclear secrecy
by: Schaper, Annette
Published: (2004)

The implementation of legally binding measures to strengthen the biological and toxin weapons convention
Published: (2004)

Science & global security : the technical basis for arms control and environmental policy initiatives.
Published: (1989)

Technical issues related to the Comprehensive Nuclear Test Ban Treaty
Published: (2002)

Disarming Iraq
by: Blix, Hans
Published: (2004)

Runtime verification : a hands-on approach in Java
by: Colombo, Christian
Published: (2022)

Concise guide to software verification : from model checking to annotation checking
by: Huisman, Marieke, et al.
Published: (2023)

Introducing software verification with Dafny language : proving program correctness
by: Sitnikovski, Boro
Published: (2022)

Detection of nuclear weapons and materials
Published: (2010)

Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part I
Published: (2021)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I
Published: (2022)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II
Published: (2022)

Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings. Part II
Published: (2023)

Software verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised selected papers
Published: (2022)

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. Part II
Published: (2020)

Challenges of software verification
Published: (2023)

Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings
Published: (2023)

Nuclear non-proliferation and arms control verification : innovative systems concepts
Published: (2020)

The foundations of program verification
by: Loeckx, Jacques, 1931-
Published: (1987)

Reason enough to hope America and the world of the twenty-first century
by: Morrison, Philip
Published: (1998)

Arms control verification and compliance
by: Krepon, Michael, 1946-
Published: (1984)

Education and ethics in the life sciences : strengthening the prohibition of biological weapons
Published: (2010)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael, 1917-
Published: (2008)

Engineering Dependable Software Systems.
by: Broy, M.
Published: (2013)

Nuclear Arms Control : Background and Issues.
by: Staff, National Academy of Sciences
Published: (1900)

Eliminating weapons of mass destruction : prospects for effective international verification
by: Andemicael, Berhanykun
Published: (2005)

The arms control delusion
by: Wallop, Malcolm
Published: (1987)