Pages that link to "Item:Q373516"
From MaRDI portal
The following pages link to Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005 (Q373516):
Displaying 2 items.
- Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006. (Q1002173) (← links)
- Special Issue: Automated verification of critical systems (AVoCS). Selected and revised papers based on the presentation at the international workshop, Southhampton, UK, April 2--3, 2003. (Q2577401) (← links)
