next up previous
Next: References Up: 6 How Marrying Formal Previous: 6 How Marrying Formal

Acknowledgements

This work has been partially supported by DARPA Contract F30602-95-C-0282 and NIST Advanced Technology Program Cooperative Agreement No. 70NANB5H1160.



Jeffrey M. Voas
Sep. 12 1997