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

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

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

Software Prototyping, Formal Methods, and VDM (International Computer Science)

Integrating Program Management and Systems Engineering: Methods, Tools, and ...

Leveraging Applications of Formal Methods, Verification and Validation. Software

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

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