TY  - CONF

T1  - Automated element-wise reasoning with sets

JO  - PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS

PY  - 2004/01/01

AU  - Struth G

ED  - Cuellar JR

ED  - Liu ZM

SP  - 320

EP  - 329

Y2  - 2024/12/22

ER  -