| Original language | Undefined/Unknown |
|---|---|
| Pages | 229-240 |
| Publication status | Published - 2001 |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
Darren Foulger, Steve King
Research output: Contribution to conference › Paper › peer-review