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 
Copyright © Tue Dec 22 21:58:00 2009
by Michael Ley (ley@uni-trier.de)
