Publikationen in Zusammenarbeit mit Forschern von 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