|
by Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick
Published 2007
“..., and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a ?exible...”Published 2007
Springer Berlin Heidelberg