VIS : A System for Verification and Synthesis
 

 



next up previous
Next: Introduction

VIS : A System for Verification and Synthesis

Robert K. Braytongif Gary D. Hachtelgif Alberto Sangiovanni-VincentelliFabio SomenziAdnan AzizSzu-Tsung ChengStephen EdwardsSunil KhatriYuji KukimotoAbelardo PardoShaz QadeerRajeev K. RanjanShaker Sarwarygif Thomas R. ShipleGitanjali SwamyTiziano Villa





Tom Shiple
Thu Feb 8 16:55:08 PST 1996
Contact 
©2002-2018 U.C. Regents