Lookahead Counterexample Search: Selecting Candidate Falsification Strategies According to Their Expected Ability to Disprove a Claim

Zhang, Jincheng

DOI: 10.5281/zenodo.23832076

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.