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

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.

runs on WebDSL