Record:   Prev Next
Title Concurrency, compositionality, and correctness [electronic resource] : essays in honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Imprint Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
book jacket
Record:   Prev Next