A Note on Automated Generation of an Algorithm Verification Method

Research output: Working paper and reports › Research report

Name	SFB F013 Reports
No.	2004-3

Fields of science

@techreport{3eb3d00aaa0d44b296f82d6e2dd8932c,

title = "A Note on Automated Generation of an Algorithm Verification Method",

author = "Bruno Buchberger",

year = "2004",

month = mar,

language = "English",

series = "SFB F013 Reports",

publisher = "SFB",

number = "2004-3",

type = "WorkingPaper",

institution = "SFB",

}