Loading...

More from Willem-Paul de Roever

cover of Formal methods for components and objects
cover of Data refinement
cover of Formal methods for components and objects
cover of Concurrency verification
cover of Formal methods for components and objects
cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
cover of Formal techniques in real-time and fault-tolerant systems
the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

© 2026 Ann Mathenge · Built with love, coffee, and cat hair.