TXP

swMATH32264MaRDI QIDQ43975FDOQ43975

Author name not available (Why is that?)

Official website: https://www.sciencedirect.com/science/article/pii/S157106610400249X

Cited In (2)

• Computer Aided Verification
• Java-MaC

This page was built for software: TXP