Total Books: 1 - 2 /2
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Weiterlesen
Verifying Treaty Compliance
International treaties requiring binding commitments on the part of the member states and appropriate compliance verification ...
Weiterlesen
Total Books: 1 - 2 /2
