Sciweavers

56
Voted
ICSE
2000
IEEE-ACM
15 years 1 months ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde