Special issue: VSTTE 2005. Selected papers based on the presentations at the verified software: theories, tools, Experiments (VSTTE) meeting, Zurich, Switzerland, November 2006. (Q2371288)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: VSTTE 2005. Selected papers based on the presentations at the verified software: theories, tools, Experiments (VSTTE) meeting, Zurich, Switzerland, November 2006. |
scientific article |
Statements
Special issue: VSTTE 2005. Selected papers based on the presentations at the verified software: theories, tools, Experiments (VSTTE) meeting, Zurich, Switzerland, November 2006. (English)
0 references
4 July 2007
0 references
