%0 Conference Paper %1 conf/icalp/Boer90 %A de Boer, Frank S. %B ICALP %D 1990 %E Paterson, Mike %I Springer %K dblp %P 572-585 %T A Proof System for the Parallel Object-Oriented Language POOL. %U http://dblp.uni-trier.de/db/conf/icalp/icalp90.html#Boer90 %V 443 %@ 3-540-52826-1

@inproceedings{conf/icalp/Boer90, added-at = {2017-05-19T00:00:00.000+0200}, author = {de Boer, Frank S.}, biburl = {https://www.bibsonomy.org/bibtex/2cff269782a77f8d067af770b7d41582f/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1990}, editor = {Paterson, Mike}, ee = {https://doi.org/10.1007/BFb0032059}, interhash = {3e87601e0c9c200da44309f35f82bc58}, intrahash = {cff269782a77f8d067af770b7d41582f}, isbn = {3-540-52826-1}, keywords = {dblp}, pages = {572-585}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:32.000+0200}, title = {A Proof System for the Parallel Object-Oriented Language POOL.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp90.html#Boer90}, volume = 443, year = 1990 }