This proceedings volume surveys the state of the art in concurrent program specification, verific...

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

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

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...

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...

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...

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

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