@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 33911856
|
|
|