ACMMPC Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: Oxford, UK

Refine list

showing all ?? records
a service of  Schloss Dagstuhl - Leibniz Center for Informatics