Automated iteration between OMT and SDL

Kurt Verschaeve. Automated iteration between OMT and SDL. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 335-350, Elsevier, 1997.

Abstract

Abstract is missing.