180
Voted
VSTTE
2005
Springer
16 years 14 days ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...