kprasad@caip.rutgers.edu (K. Venkatesh Prasad) (04/06/91)
Are there companies in the United States that are using formal methods for specifying and verifying software? -- K. Venkatesh Prasad Machine Vision Group