Using rewrite strategies for testing BUpL agents

2010

Presented at the International Symposium on Logic-Based Program Synthesis and Transformation

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Symposium on Logic-Based Program Synthesis and Transformation
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Astefanoaei, L., de Boer, F.& van Riemsdijk, M. B. (2010, January). Using rewrite strategies for testing BUpL agents. Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation 2009 (19).

Publication