This VIAF Cluster has been deleted. It is no longer part of VIAF.
Ray, Sandip. | Scalable Techniques for Formal Verification
VIAF ID: 314672581
(
Unknown Name Type
)
Permalink: http://viaf.org/viaf/314672581
History of VIAF ID:314672581 (1)
Record ID
|
Action
|
Time
|
XR|VIAFWORK495781751
|
add |
2015-02-16T15:07:12+00:00 |