Abstract: An assertion is a predicate that should be evaluated true during program execution. In this paper, we present the development of quantum assertion schemes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results