Industrial experience with SPARK

Chapman, Roderick. Industrial experience with SPARK. ACM SIGAda Ada Letters, 20(4):64-68, 2000.

Authors

Chapman, Roderick

This author has not been identified. Look up 'Chapman, Roderick' in Google