Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

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. 3-5 2000 conf/fbt/2000 FBT db/conf/fbt/fbt2000.html#RoeverBHHLPZ00