CHARM '97 is the ninth in a series of working conferences devoted
to the development and use of formal techniques in digital hardware
design and verification. This series is held in collaboration with
IFIP WG 10.5. Previous meetings were held in Europe every other
year.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!