Darren Foulger

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001

1 EE Darren Foulger, Steve King: Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Ada-Europe 2001: 229-240

2001
1	EE	Darren Foulger, Steve King: Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Ada-Europe 2001: 229-240

Coauthor Index

1 Steve King [1]