Robuta

https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/26111 Dagstuhl Seminar 26111: Formal Analysis and Verification in Quantum Programming Languages analysis and verification dagstuhl seminar quantum programming formal https://verificationinstitute.org/ Research Institute in Automated Program Analysis and Verification | UK's Second Academic Research... analysis and verification research institute