From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science (11865), Band 11865)

Alessandro

von: Maurice H. ter Beek · Alessandro Fantechi · Laura Semini

Taschenbuch

ISBN-13: 978-3-030-30984-8

ISBN-10: 3-030-30984-3

Springer · September 2019