206
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...