Xingchi Su

Aprende cómo la Lógica Cuántica de Hoare asegura la corrección de los programas de computación cuántica.

Una mirada más profunda al razonamiento sobre programas con elementos aleatorios.