7 citations · 18 across the 11 of their papers we have counts for
1 paper · 1 filter
María Alpuente, Daniel Pardo, Alicia Villanueva
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 for…