ACM SIGDA Verification
Technical Committee
Introduction Sponsors Publications Resources Workshop News

Introduction

Introduction

INTRO

Association of Computing Machinery, Special Interest Group on Design Automation, Copyright (c) 2007.