The following pages link to (Q4472199):
Displaying 5 items.
- Test selection for traces refinement (Q481094) (← links)
- Model transformations across views (Q2266947) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
