[sv-ac] vacuity

From: Doron Bustan <dbustan_at_.....>
Date: Fri Apr 21 2006 - 13:36:54 PDT
Attached is the proposal for vacuity, written by JH and me.
I also upload it to mantis.

For a precise definition we needed a definition of
evaluation attempt, so we defined it.

Doron


Received on Fri Apr 21 13:37:10 2006

This archive was generated by hypermail 2.1.8 : Fri Apr 21 2006 - 13:37:34 PDT