Author:
Rabbi Fazle,Lamo Yngve,Kristensen Lars Michael
Publisher
Springer International Publishing
Reference25 articles.
1. Analysis of conformance preserving transformation rule (2018).
https://github.com/fazlRabbi/ConformanceTxRule
2. Lecture Notes in Computer Science;T Arendt,2010
3. Artemiadis, A.K., Vervainioti, A.A., Alexopoulos, E., Rombos, A., Anagnostouli, M.C., Darviri, C.: Stress management and multiple sclerosis: a randomized controlled trial. Arch. Clin. Neuropsychol.: Off. J. Nat. Acad. Neuropsychol. 27(4), 406–16 (2012)
4. Lecture Notes in Computer Science;L Baresi,2006
5. Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 72–81. ACM, New York (2006)