Publications
Found 1 results
Filters: Autor is Nils Rollshausen [Clear All Filters]
„Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects“, ArXiv E-Print 2102.10127: https://doi.org/10.48550/arXiv.2102.10127. ArXiv, S. 1-12, 2021.
,