Cited By
View all- Hu TYe GTang ZTan SWang HLi MWang ZChristakis MPradel M(2024)UPBEAT: Test Input Checks of Q# Quantum LibrariesProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652120(186-198)Online publication date: 11-Sep-2024
- Harrison WAllwein GGill AProcter A(2008)Asynchronous Exceptions as an EffectProceedings of the 9th international conference on Mathematics of Program Construction10.1007/978-3-540-70594-9_10(153-176)Online publication date: 15-Jul-2008