bibtex

@inproceedings{BF1,
    title = { Contract-Based Verification of Model Transformations: A Formally Founded Approach },
    author = {Brau, Guillaume and Foughali, Mohammed},
    year = {2021},
    booktitle = {36th ACM/SIGAPP Symposium On Applied Computing (SAC)},
    team = {RSD},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121951