%0 Conference Paper %1 journals/entcs/KallelCJ08 %A Kallel, Slim %A Charfi, Anis %A Jmaiel, Mohamed %B FACS %D 2007 %E Lumpe, Markus %E Madelaine, Eric %I Elsevier %K dblp %P 5-21 %T Using Aspects for Enforcing Formal Architectural Invariants. %U http://dblp.uni-trier.de/db/journals/entcs/entcs215.html#KallelCJ08 %V 215

@inproceedings{journals/entcs/KallelCJ08, added-at = {2023-02-17T00:00:00.000+0100}, author = {Kallel, Slim and Charfi, Anis and Jmaiel, Mohamed}, biburl = {https://www.bibsonomy.org/bibtex/27a401b8d5e6fda15a2e85d3ab0208fc6/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2007}, editor = {Lumpe, Markus and Madelaine, Eric}, ee = {https://doi.org/10.1016/j.entcs.2008.06.018}, interhash = {aa8a646c0508fd569dd89c52222ab9c6}, intrahash = {7a401b8d5e6fda15a2e85d3ab0208fc6}, keywords = {dblp}, pages = {5-21}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T21:57:14.000+0200}, title = {Using Aspects for Enforcing Formal Architectural Invariants.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs215.html#KallelCJ08}, volume = 215, year = 2007 }