|
|
|
|
|
| A Logical Programming |
||||
| Environment (LPE) for Building |
||||
| Embedded Systems |
||||
|
|
|
| Mark
Bickford Robert Constable (PI) |
||
| Michael Hicks Christoph
Kreitz |
||
| Lori
Lorigo Robbert
Van Renesse |
||
| Contract
# F30602-98-0198 |