%0 Conference Paper %1 journals/entcs/ColinLS09 %A Colin, Samuel %A Lanoix, Arnaud %A Souquières, Jeanine %B FESCA@ETAPS %D 2007 %E Bowles, Juliana Küster Filipe %E Poernomo, Iman %E Reussner, Ralf H. %I Elsevier %K dblp %N 7 %P 23-35 %T Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement. %U http://dblp.uni-trier.de/db/conf/fesca/fesca2007.html#ColinLS09 %V 203

@inproceedings{journals/entcs/ColinLS09, added-at = {2023-02-13T00:00:00.000+0100}, author = {Colin, Samuel and Lanoix, Arnaud and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/231e4672d045533ead7d05bc8c5e51a6d/dblp}, booktitle = {FESCA@ETAPS}, crossref = {conf/fesca/2007}, editor = {Bowles, Juliana Küster Filipe and Poernomo, Iman and Reussner, Ralf H.}, ee = {https://doi.org/10.1016/j.entcs.2009.03.024}, interhash = {3e2eac90df510d5fde3497377ddf5ad0}, intrahash = {31e4672d045533ead7d05bc8c5e51a6d}, keywords = {dblp}, number = 7, pages = {23-35}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:57:59.000+0200}, title = {Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.}, url = {http://dblp.uni-trier.de/db/conf/fesca/fesca2007.html#ColinLS09}, volume = 203, year = 2007 }