121
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...