Matthew Wilding
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
1993–1998
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. | David S. Hardin, Matthew Wilding, David A. Greve |
| 1998 | CAV | A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. | Matthew Wilding |
| 1993 | CAV | A Mechanically Verified Application for a Mechanically Verified Environment. | Matthew Wilding |