Vol-3628⫷ Vol-3629 ⫸Vol-3630
urn:nbn:de:0074-3629-0


Vol-3629/paper12⫷Vol-3629/paper13⫸Vol-3629/paper14

Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications