Aarhus University Seal / Aarhus Universitets segl

Automatic Program Verification

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

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

See relations at Aarhus University Citationformats

ID: 163500334