Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Manuel Mazzara , Jean-Michel Bruel , Bertrand Meyer