Back
@article{KiWa96, author = {Finn Kristoffersen and Thomas Walter}, title = {TTCN: Towards a formal semantics and validation of test suites}, journal = {In Computer Networks and ISDN Systems}, pages = {15--47}, month = {Jan}, year = {1996} }