Late and early semantics coincide for testing (1995)

by A Ingólfsdóttir
Venue:Theor. Comput. Sci