"Theoretical computer science, formal methods, and quantum computing"@en . . "3" . "PE6_4" . . "PE6_4" . . . "3"^^ . .