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

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