Bio Header Image

Program Development by Proof Transformation

Publication Type  Thesis
Author  Luca Chiarabini
Year of Publication  2009
Thesis Type  PhD Thesis
Chair/University  LMU München
Keywords  heun-group
Month  December
Citation Key  Chiarabini/2009
Document visibility  Global publication list
URL1  E-Dissertation
Export  BibTex