%0 Conference Paper %1 conf/fbt/RoeverBHHLPZ00 %A de Roever, Willem P. %A de Boer, Frank S. %A Hannemann, Ulrich %A Hooman, Jozef %A Lakhnech, Yassine %A Poel, Mannes %A Zwiers, Job %B FBT %D 2000 %E Grabowski, Jens %E Heymer, Stefan %I Verlag Shaker %K dblp %P 3-5 %T Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. %U http://dblp.uni-trier.de/db/conf/fbt/fbt2000.html#RoeverBHHLPZ00 %@ 3-8265-7491-5

@inproceedings{conf/fbt/RoeverBHHLPZ00, added-at = {2003-03-21T00:00:00.000+0100}, author = {de Roever, Willem P. and de Boer, Frank S. and Hannemann, Ulrich and Hooman, Jozef and Lakhnech, Yassine and Poel, Mannes and Zwiers, Job}, biburl = {https://www.bibsonomy.org/bibtex/2b82a23f70c19afc4dbcaca69f4499348/dblp}, booktitle = {FBT}, crossref = {conf/fbt/2000}, date = {2003-03-21}, description = {dblp}, editor = {Grabowski, Jens and Heymer, Stefan}, interhash = {12393e8f26d52c144eea88bc086b9a53}, intrahash = {b82a23f70c19afc4dbcaca69f4499348}, isbn = {3-8265-7491-5}, keywords = {dblp}, pages = {3-5}, publisher = {Verlag Shaker}, timestamp = {2003-03-21T00:00:00.000+0100}, title = {Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.}, url = {http://dblp.uni-trier.de/db/conf/fbt/fbt2000.html#RoeverBHHLPZ00}, year = 2000 }