Workshop on Industrial-Strength Formal Specification Techniques
2. WIFT 1998: Boca Raton, FL, USA
2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), October 20-23, 1998, Boca Raton, FL, USA. IEEE Computer Society 1998 ISBN 0-7695-0081-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team