Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Link

https://dl.acm.org/doi/book/10.5555/2131753

Resource Type

Managed Coverage Begin

1/1/2005

Managed Coverage End

12/31/2005

Subject

Computer Science

COMPUTERS / Information Technology

COMPUTERS / Logic Design

COMPUTERS / Programming / General

Publisher

Association for Computing Machinery (ACM)