Publications en collaboration avec des chercheurs de 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