To main content

Ember: An Embedded Robotics Library in SPARK

Category

Academic article

Language

English

Affiliation

  • SINTEF Digital / Mathematics and Cybernetics

Year

2021

Published in

Ada User Journal

ISSN

1381-6551

Volume

42

View this publication at Cristin