119
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...