<style face="normal" font="default" size="100%">Formal Verification of Nuclear Systems: Past, Present, and Future</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Formal Verification of Nuclear Systems: Past, Present, and Future</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Software certification experience in the canadian nuclear industry: lessons for the future</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project</style>