CAV 2005: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 6: | Line 6: | ||
|Type=Conference | |Type=Conference | ||
|Field=Computer-Aided Verification | |Field=Computer-Aided Verification | ||
|Start date=2005 | |Start date=2005/07/06 | ||
|End date=2005/07/10 | |||
|Homepage=http://www.cav2005.inf.ed.ac.uk/ | |Homepage=http://www.cav2005.inf.ed.ac.uk/ | ||
|City=Edinburgh | |City=Edinburgh | ||
|Country= | |State=Scotland | ||
|Submitted papers= | |Country=UK | ||
|Accepted papers= | |Submitted papers=123 | ||
|Accepted papers=32 | |||
|has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | |has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | ||
}} | }} | ||