<style face="normal" font="default" size="100%">Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach</style>

Drupal-Biblio