Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers

DOI10.1007/3-540-47813-2zbMATH Open0989.00056OpenAlexW4376583509MaRDI QIDQ1604007

Author name not available (Why is that?)

Publication date: 2 July 2002

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-47813-2

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Verification, model; checking, and abstract interpretation. 3rd international workshop, VMCAI 2002, Venice, Italy, January 21--22, 2002. Revised papers

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