Automated Algebraic Reasoning for Collections and Local Variables with Lenses (2020)

First Author: Foster S

Attributed to: RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots funded by EPSRC

No abstract provided

Type: Conference/Paper/Proceeding/Abstract