Search filters

Isabelle-verified correctness of Datalog programs for program analysis

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description scientific article published on 21 May 2024
Author/s

author: Rene Rydhof Hansen  Anders Schlichtkrull  Flemming Nielson 

Publication date May 21, 2024
Language
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item