Pages that link to "Item:Q5371995"

From MaRDI portal

← Quick specifications for the busy programmer (Q5371995)

Jump to:navigation, search

The following pages link to Quick specifications for the busy programmer (Q5371995):

Displaying 3 items.

Theory exploration powered by deductive synthesis (Q832255) (← links)
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)

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