Austria-Japan Workshop on Symbolic Computation and Software Verification

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	University of Linz, Altenbergerstraße 69, 4040 Linz, Austria
Publisher	RISC
Number of pages	45
Publication status	Published - 2007

Name	RISC Report Series
No.	07-09

Fields of science

@techreport{b5ecb56032864faf90e39cdbc4c47f8a,

title = "Austria-Japan Workshop on Symbolic Computation and Software Verification",

author = "Mircea Marin and Teimuraz Kutsia",

year = "2007",

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "07-09",

type = "WorkingPaper",

institution = "RISC",

}