Conference paper published in "2013 44th International Symposium on Robotics, ISR 2013"!
1 January 2013
The conference paper “Static analysis techniques for robotics software verification”, by Cortesi, A., Ferrara, P., Chaki, N., has just been published in “2013 44th International Symposium on Robotics, ISR 2013”! Available here.