https://git-afsantos.github.io/
Braga, Portugal
André Santos
H(igh) A(ssurance) ROS - Static analysis of ROS application code.
git-afsantos
Simplified interface for syntax trees and program models.
