4036 search results - page 31 / 808 » Formal Methods |
140
Voted
SFM
2009
Springer
15 years 11 months ago
2009
Springer
158
Voted
SFM
2009
Springer
15 years 11 months ago
2009
Springer
143
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...