Repository | Directory | Profile

150044

Douglas R. Smith

Bibliographie 1

Composition by colimit and formal software development

2006

Douglas R. Smith

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link