Fingerprint
Dive into the research topics of 'Using an ada-based abstract machine description of cais to generate validation tests'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Using an ada-based abstract machine description of cais to generate validation tests
Timothy E. Lindquist, Jeffrey L. Facemire
Research output: Contribution to conference › Paper › peer-review