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

First Author: Foster S
Attributed to:  A Calculus for Software Engineering of Mobile and Autonomous Robots funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract