Safety enforcement via programmable strategies in Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María Alpuente, Demis Ballis, Santiago Escobar 0001, D. Galán, Julia Sapiña. Safety enforcement via programmable strategies in Maude. J. Log. Algebr. Meth. Program., 132:100849, April 2023. [doi]

This author has not been identified. It may be one of the following persons:

María Alpuente

Look up 'María Alpuente' in GoogleThis author has not been identified. Look up 'Demis Ballis' in GoogleThis author has not been identified. Look up 'Santiago Escobar 0001' in GoogleThis author has not been identified. Look up 'D. Galán' in GoogleThis author has not been identified. Look up 'Julia Sapiña' in Google

runs on WebDSL