AMAST   2010 International Conference on Algebraic Methodology and Software Technology
Wall of Fame | Most Viewed AMAST-2010 Paper
12 years 26 days ago
Integrating Maude into Hets
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
Mihai Codescu, Till Mossakowski, Adrián Rie...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source246
2Download preprint from source244
3Download preprint from source243
4Download preprint from source225
5Download preprint from source223
6Download preprint from source218
7Download preprint from source213
8Download preprint from source209
9Download preprint from source202