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 Style AAA Style APA 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). Using rewrite strategies for testing BUpL agents. In Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation 2009 (19). Springer.

Publication