The stepwise refinement method postulates a system construction route that starts with a high-lev...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book constitutes the Proceedings of the IFIP Working Conference PRO­ COMET'98, held 8-12 Jun...

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed ...

This is a systematic and comprehensive introduction both to compositional proof methods for the s...

This volume is based on the 'School Workshop on Linear Time, Branching Time and Partial Order in ...

This book constitutes the Proceedings of the IFIP Working Conference PRO­ COMET'98, held 8-12 Jun...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which ...

Graduate text in formal methods in computer science.

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...