115
click to vote
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...