Industrial experience with SPARK

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

Abstract

Abstract is missing.