Industrial-Strength Formal Specification Techniques, Workshop on
Download PDF

Abstract

This working group met as part of the 1998 Workshop on Industrial-Strength Formal Specification Techniques in Boca Raton, Florida. As the working group title suggests, we discussed lessons learned, open issues, and general suggestions surrounding the incorporation of formal methods in industrial development processes.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!