Property-Driven Software Engineering Approach

Antinisca Di Marco, Francesca Lonetti, Guglielmo De Angelis. Property-Driven Software Engineering Approach. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 966-967, IEEE, 2012. [doi]

Authors

Antinisca Di Marco

This author has not been identified. Look up 'Antinisca Di Marco' in Google

Francesca Lonetti

This author has not been identified. Look up 'Francesca Lonetti' in Google

Guglielmo De Angelis

This author has not been identified. Look up 'Guglielmo De Angelis' in Google