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

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

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

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

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

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

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

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