Login / Signup

The Power of 10: Rules for Developing Safety-Critical Code.

Gerard J. Holzmann
Published in: Computer (2006)
Keyphrases