Static correction of Maude programs with assertions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 01, 2019
Source ID
10.1016/j.jss.2019.03.061

Entities

People

  • D. Ballis
  • Julia Sapiña
  • María Alpuente

Organizations

  • Generalitat Valenciana
  • Ministry of Economy, Industry and Competitiveness