From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
From Software Engineering to Formal Methods and Tools, and Back - Springer Springer 2019
9783030309855
EBOOK
From Software Engineering to Formal Methods and Tools, and Back - Springer Springer 2019
9783030309855
EBOOK
