Publications in collaboration with researchers from Royal Institute of Technology (1)

2014

  1. Testing abstract behavioral specifications

    International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119