%0 Conference Paper %1 conf/serp/SouquieresC05 %A Souquières, Jeanine %A Chouali, Samir %B Software Engineering Research and Practice %D 2005 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %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 %@ 1-932415-50-5

@inproceedings{conf/serp/SouquieresC05, added-at = {2017-02-02T00:00:00.000+0100}, author = {Souquières, Jeanine and Chouali, Samir}, biburl = {https://www.bibsonomy.org/bibtex/2c9dff55e5e6d73cef5f254a3efc8fd2a/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2005-2}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {926d73ae27d0e7c0b914cb1ffbc202b3}, intrahash = {c9dff55e5e6d73cef5f254a3efc8fd2a}, isbn = {1-932415-50-5}, keywords = {dblp}, pages = {850-856}, publisher = {CSREA Press}, timestamp = {2017-02-03T11:50:38.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 }