Work

A formal framework-based K-Maude for modelling scalable software architectures

FWCI:
Cites:
Cited by:
Related to: 10