The Book of Tomorrow: Inspirational Insights for Rebuilding Civilization: A Visi

Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..

The Ministry of Women in the New Testament: Reclaiming the Biblical Visi .. NEW

Sometimes Brilliant: The Impossible Adventure of a Spiritual Seeker and Visi...

Validation and Verification of Formal Specifications in Object-Oriented Software

Joseph Smith, Jesus, and Satanic Opposition: Atonement, Evil and the Mormon Visi

Validation and Verification of Formal Specifications in Object-Oriented Software