A predicate calculus based language for data verification and validation

1993 ◽  
Author(s):  
Antonio Leal
Author(s):  
Mark E. Byrnes ◽  
David A. King ◽  
Susan F. Blackburn ◽  
Robert L. Johnson ◽  
Sebastian C. Tindall ◽  
...  

Author(s):  
A.M. Andrianova ◽  
◽  
A.S. Margarit ◽  
D.S. Perets ◽  
M.V. Simonov ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document