Difference between revisions of "CAV 2005"
Jump to navigation
Jump to search
| 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 |
| + | |Country=UK | ||
|Submitted papers=155 | |Submitted papers=155 | ||
|Accepted papers=48 | |Accepted papers=48 | ||
|has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | |has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | ||
}} | }} | ||