Mind the gap: Robotic Mission Planning Meets Software Engineering

Publication
FormaliSE