From Formal Models to Formally Based Methods: An Industrial Experience - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti. From Formal Models to Formally Based Methods: An Industrial Experience. ACM Transactions on Software Engineering Methodology, 8(1):79-113, 1999. [doi]

This author has not been identified. Look up 'Emanuele Ciapessoni' in GoogleThis author has not been identified. Look up 'Piergiorgio Mirandola' in GoogleThis author has not been identified. Look up 'Alberto Coen-Porisini' in GoogleThis author has not been identified. Look up 'Dino Mandrioli' in GoogleThis author has not been identified. Look up 'Angelo Morzenti' in Google

runs on WebDSL