IntensiVE

swMATH10472MaRDI QIDQ22433FDOQ22433

Author name not available (Why is that?)

Described by source

• Enforcing structural regularities in software using intensive

This page was built for software: IntensiVE