Formal methods light

• Authors:

• Cliff Jones

• Affiliations:

• Applications Division, Harlequin Ltd., Queens Court, Wilmslow Road, Cheshire SK9 7QD, U.K.

• Venue:
• ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
• Year:
• 1996