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

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

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

This volume presents the proceedings of the Third International Symposium on Formal Techniques in...

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

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

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

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

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

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

Graduate text in formal methods in computer science.

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