Formally transforming user-model testing problems into implementer-model testing problems and viceversa

Sorry, there's nothing here.

Cite this paper

@article{Andrs2009FormallyTU, title={Formally transforming user-model testing problems into implementer-model testing problems and viceversa}, author={C{\'e}sar Andr{\'e}s and Luis Llana and Ismael Rodr{\'i}guez}, journal={J. Log. Algebr. Program.}, year={2009}, volume={78}, pages={425-453} }