JavaScript is required to use this site. Please enable JavaScript in your browser settings.

21. February 2022

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Platzhalterbild
Previous Entry Back to Overview Next Entry
funded by:
Gefördert vom Bundesministerium für Bildung und Forschung.
Gefördert vom Freistaat Sachsen.