![](/img/cover-not-exists.png)
From formal models to formally based methods: an industrial experience
Ciapessoni, Emanuele, Mirandola, Piergiorgio, Coen-Porisini, Alberto, Mandrioli, Dino, Morzenti, AngeloVolume:
8
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/295558.295566
Date:
January, 1999
File:
PDF, 234 KB
english, 1999