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 | Site Map | Site powered by SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1756737