From Software Engineering to Formal Methods and Tools, and Back : Essays Dedi...

From Software Engineering to Formal Methods and Tools, and Back - 9783030309848

ter Beek - From Software Engineering to Formal Methods and Tools and - X555z

The Mythical Man Month and Other Essays on Software... - Brooks Jr., Frederic...

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on...

Formal Methods and Software Engineering: 15th International Conference on Formal

Formal Methods and Software Engineering: 10th International Conference on Formal