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
