Formal Methods for the Informal Engineer: Workshop Recommendations

Open in new window