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

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software

Software Engineering and Formal Methods : Sefm 2014 Collocated Workshops: Hof...

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

Software Engineering and Formal Methods: 21st International Conference, SEFM 202