Felipe A. C. Xavier, Loek Cleophas. Verification-Centered Low-Code for Autonomous Robots: A Contract-Based Reference Architecture Approach. In Proceedings of the 2026 2nd International Workshop on Low-Code Development and Software Architecture, LArc 2026, Rio de Janeiro, Brazil, April 12-18, 2026. pages 1-8, ACM, 2026. [doi]
Abstract is missing.