Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Imposing assertions in Maude via program transformation

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Alpuente, M.; Ballis, D.; Sapina, J.
    • الموضوع:
      2019
    • Collection:
      Università degli Studi di Udine: CINECA IRIS
    • Relation:
      info:eu-repo/semantics/altIdentifier/wos/WOS:000498594100011; volume:6; firstpage:2577; lastpage:2583; numberofpages:7; journal:METHODSX (AMSTERDAM); http://hdl.handle.net/11390/1170506; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074844616; http://www.journals.elsevier.com/methodsx/
    • الرقم المعرف:
      10.1016/j.mex.2019.10.035
    • الدخول الالكتروني :
      http://hdl.handle.net/11390/1170506
      https://doi.org/10.1016/j.mex.2019.10.035
      http://www.journals.elsevier.com/methodsx/
    • Rights:
      info:eu-repo/semantics/openAccess
    • الرقم المعرف:
      edsbas.25ACB943