QASM

swMATH37836MaRDI QIDQ53537FDOQ53537

Author name not available (Why is that?)

Described by source

• A dynamic logic for QASM programs

This page was built for software: QASM