Chapman, Roderick and Dewar, Robert "Re-engineering a safety-critical system with SPARK95 and GNORT"

(1999)

(1999) Reliable Software Technologies - Ada-Europe '99 LNCS 1622 1999  

Languages mentioned