%0 Conference Paper %1 conf/serp/SouquieresC05 %A Souquières, Jeanine %A Chouali, Samir %B Software Engineering Research and Practice %D 2005 %K dblp %P 850-856 %T Verifying the compatibility of component interfaces using the B formal method. %U http://dblp.uni-trier.de/db/conf/serp/serp2005-2.html#SouquieresC05

@inproceedings{conf/serp/SouquieresC05, added-at = {2006-01-31T00:00:00.000+0100}, author = {Souquières, Jeanine and Chouali, Samir}, biburl = {https://www.bibsonomy.org/bibtex/2c838eeb60f03ca7bb761ccb8d72dba04/dblp}, booktitle = {Software Engineering Research and Practice}, date = {2006-01-31}, description = {dblp}, interhash = {926d73ae27d0e7c0b914cb1ffbc202b3}, intrahash = {c838eeb60f03ca7bb761ccb8d72dba04}, keywords = {dblp}, pages = {850-856}, timestamp = {2006-01-31T00:00:00.000+0100}, title = {Verifying the compatibility of component interfaces using the B formal method.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2005-2.html#SouquieresC05}, year = 2005 }