Darren Foulger

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Darren Foulger, Steve King
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Ada-Europe (2001)