Aarhus University Seal

Automatic Program Verification

Research output: Book/anthology/dissertation/reportPh.D. thesis

  • Kristoffer Just Arndal Andersen
Original languageEnglish
PublisherAarhus University
Number of pages160
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

ID: 163500334