153
click to vote
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...