The Future of Formal Methods in Industry

• Authors:

• Anthony Hall;David Lorge Parnas;Nico Plat;John M. Rushby;Chris T. Sennett

• Affiliations:

• -;-;-;-;-

• Venue:
• ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
• Year:
• 1995