YALLA

swMATH32907MaRDI QIDQ44618FDOQ44618

Author name not available (Why is that?)

Source code repository: https://github.com/olaure01/yalla/blob/master/yalla/README.md

Cited In (2)

• Formal meta-level analysis framework for quantum programming languages
• Introducing a tool for concurrent argumentation

This page was built for software: YALLA