Special issues for fm '99: the first world congress on formal methods in the development of computing systems
J.M. Wing, Jim Woodcock · IEEE Transactions on Software Engineering · 2000
Formal methods are coming of age: mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental process in a wide range of industrial and governmental organizations. A transfer of technology into the mainstream development is slowly but surely taking place. (Introduction).