High Integrity Ada, The SPARK Approach (1997)

by J Barnes
Venue:ACM Trans