Automated technology for verification and analysis. Second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 -- November 3, 2004. Proceedings.

DOI10.1007/B102065zbMATH Open1056.68018OpenAlexW3139984071MaRDI QIDQ1763064

Author name not available (Why is that?)

Publication date: 21 February 2005

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102065

No records found.

This page was built for publication: Automated technology for verification and analysis. Second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 -- November 3, 2004. Proceedings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1763064)