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.
@inproceedings{RoeverBHHLPZ00,
title = {Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs},
author = {Willem P. de Roever and Frank S. de Boer and Ulrich Hannemann and Jozef Hooman and Yassine Lakhnech and Mannes Poel and Job Zwiers},
year = {2000},
tags = {program verification, composition, principles},
researchr = {https://researchr.org/publication/RoeverBHHLPZ00},
cites = {0},
citedby = {0},
pages = {3-5},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000},
editor = {Jens Grabowski and Stefan Heymer},
publisher = {Verlag Shaker},
isbn = {3-8265-7491-5},
}