Investigate the contributions of Watts Humphrey and G. J. Myers to software trustworthiness.
Find the current state of development and utilization of Praxis High Integrity Systems Z on the Internet.