Pages that link to "Item:Q5371996"

From MaRDI portal

← Higher order symbolic execution for contract verification and refutation (Q5371996)

Jump to:navigation, search

The following pages link to Higher order symbolic execution for contract verification and refutation (Q5371996):

Displaying 1 item.

Sound and complete concolic testing for higher-order functions (Q2233484) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"