Xtext
From MaRDI portal
Software:28125
swMATH16255MaRDI QIDQ28125FDOQ28125
Author name not available (Why is that?)
Cited In (6)
- Interactive verification of architectural design patterns in FACTum
- Formalizing and testing the consistency of DSL transformations
- A domain-specific language and editor for parallel particle methods
- Programming and verifying component ensembles
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: Xtext
