Published in the Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity:
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001,
Genoa, Italy, 2001, 15 pages.
PDF
© 2001 Natasha Sharygina.