David W. Bustard;Adam C. Winstanley;M. T. Norris;R. A. Orr;S. Patel
-;-;-;-;-
Tools to support formal methods
ICSE '89 Proceedings of the 11th international conference on Software engineering