EPTCS (2021)

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://doi.org/10.4204%2Feptcs.349

Type: Conference/Paper/Proceeding/Abstract

Volume: 349

Issue: nov