You are here: TUCS > PUBLICATIONS > Publication Search > Abstract Algebra of Program Re...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Abstract Algebra of Program Refinement
Kim Solin, Abstract Algebra of Program Refinement . TUCS Dissertations 95. Turku Centre for Computer Science, 2007.
BibTeX entry:
@PHDTHESIS{phdSolin07a,
title = {Abstract Algebra of Program Refinement },
author = {Solin, Kim},
number = {95},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2007},
}