| Original language | English (US) |
|---|---|
| Pages | 173-178 |
| Number of pages | 6 |
| DOIs | |
| State | Published - Mar 24 1985 |
| Externally published | Yes |
| Event | 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 - Washington, United States Duration: Mar 24 1985 → Mar 26 1985 |
Other
| Other | 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 |
|---|---|
| Country | United States |
| City | Washington |
| Period | 3/24/85 → 3/26/85 |
ASJC Scopus subject areas
- Software
Cite this
Lindquist, T., & Facemire, J. L. (1985). Using an ada-based abstract machine description of cais to generate validation tests. 173-178. Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States. https://doi.org/10.1145/325612.325638
Using an ada-based abstract machine description of cais to generate validation tests. / Lindquist, Timothy; Facemire, Jeffrey L.
1985. 173-178 Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States.Research output: Contribution to conference › Paper
Lindquist, T & Facemire, JL 1985, 'Using an ada-based abstract machine description of cais to generate validation tests', Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States, 3/24/85 - 3/26/85 pp. 173-178. https://doi.org/10.1145/325612.325638
Lindquist T, Facemire JL. Using an ada-based abstract machine description of cais to generate validation tests. 1985. Paper presented at 2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985, Washington, United States. https://doi.org/10.1145/325612.325638
@conference{1128b4dd9ec2419e8fc5f7057692ae33,
title = "Using an ada-based abstract machine description of cais to generate validation tests",
author = "Timothy Lindquist and Facemire, {Jeffrey L.}",
year = "1985",
month = "3",
day = "24",
doi = "10.1145/325612.325638",
language = "English (US)",
pages = "173--178",
note = "2nd Annual Washington Ada Symposium on Ada: Ada in the Mainstream: Applications and Education, WADAS 1985 ; Conference date: 24-03-1985 Through 26-03-1985",
}
TY - CONF
T1 - Using an ada-based abstract machine description of cais to generate validation tests
AU - Lindquist, Timothy
AU - Facemire, Jeffrey L.
PY - 1985/3/24
Y1 - 1985/3/24
UR - http://www.scopus.com/inward/record.url?scp=85051344951&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85051344951&partnerID=8YFLogxK
U2 - 10.1145/325612.325638
DO - 10.1145/325612.325638
M3 - Paper
AN - SCOPUS:85051344951
SP - 173
EP - 178
ER -