@inproceedings{86ec87391cbc46b383a470544531747e,
title = "Safety Critical Java for Robotics Programming",
author = "Bent Thomsen and Luckow, {Kasper S{\o}e} and Thomas B{\o}gholm and Thomsen, {Lone Leth} and Stephan Korsholm",
year = "2015",
language = "English",
pages = "38--47",
editor = "Zheng-Hua Tan and Shaoping Bai and Thomas Bak and Mathias Rehm and Jochum, {Elizabeth Ann}",
booktitle = "The 3rd AAU Workshop on Robotics",
publisher = "Aalborg Universitetsforlag",
note = "The 3rd AAU Workshop on Robotics ; Conference date: 30-10-2014 Through 30-10-2014",
}