Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers. Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. In Jens Grabowski, Stefan Heymer, editors, Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. pages 3-5, Verlag Shaker, 2000.

This author has not been identified. Look up 'Willem P. de Roever' in GoogleThis author has not been identified. It may be one of the following persons:

Frank S. de Boer

Look up 'Frank S. de Boer' in GoogleThis author has not been identified. Look up 'Ulrich Hannemann' in GoogleThis author has not been identified. Look up 'Jozef Hooman' in GoogleThis author has not been identified. Look up 'Yassine Lakhnech' in GoogleThis author has not been identified. Look up 'Mannes Poel' in GoogleThis author has not been identified. Look up 'Job Zwiers' in Google

runs on WebDSL