Search
Springer
Composition by colimit and formal software development
Vol. 4060
Douglas R. Smith
Volume
Title
Author