Pardo Pont, Daniel(Universitat Politècnica de València, 2016-07-20)
[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this Master ...