Books

Transparency in Global Environmental Governance Transparency in Global Environmental Governance
2014
Psychiatric Ethics in Late-Life Patients Psychiatric Ethics in Late-Life Patients
2019
SAT-Based Scalable Formal Verification Solutions SAT-Based Scalable Formal Verification Solutions
2007
Computer Aided Verification Computer Aided Verification
2008