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

Item

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