author = {Buchberger},
title = {{Formal Research Methods in Computer Science}},
language = {english},
abstract = {Block Course for Computer Science PhD Students, Sommersemester 2018},
year = {2018},
month = {Sommersemester},
note = {Invited colloquium talk at Alpen Adria University, Klagenfurt},
institution = {Alpen Adria University, Klagenfurt}