@article{79,
  author = {Kheng Koay and Matt Webster and Clare Dixon and Paul Gainer and Dag Syrdal and Michael Fisher and Kerstin Dautenhahn},
  title = {Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot},
  year = {2021},
  journal = {Journal of Behavioral Robotics},
  url = {https://www.research.manchester.ac.uk/portal/en/publications/use-and-usability-of-software-verification-methods-to-detect-behaviour-interference-when-teaching-an-assistive-home-companion-robot(00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6).html},
}