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

Formal Methods in Software and Systems Modeling : Essays Dedicate

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Rei

Mythical Man-Month : Essays on Software Engineering, Anniversary Edition by...

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