A formal approach to the specification and transformation of constraints in MDE

Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter

The Journal of Logic and Algebraic Programming · 2012 · 52 citations · 20 references

Concepts

References

20