22.7 J V Tucker, Origins and Development of Formal Methods for Software Engineering

Media

Part of 22.7 J V Tucker, Origins and Development of Formal Methods for Software Engineering

Title
22.7 J V Tucker, Origins and Development of Formal Methods for Software Engineering