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 BibTeX
Copyright © Sat May 16 23:47:57 2009
by Michael Ley (ley@uni-trier.de)