Browsing by Subject PVS, maxima, relational calculus, proof-of-concept
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
22-Sep-2006 | A Proof-of-Concept for Using PVS and Maxima to Support Relational Calculus | Nguyen, Huong Thi Thu |
Showing results 1 to 1 of 1