Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)

Books by Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.) on BookTides.