Introducing Formal Specification Methods in Industrial Practice.

Luciano Baresi, Alessandro Orso, Mauro Pezz

Browse the full ICSE paper archive.