Browsing by Subject Tabular expressions
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
Jun-2015 | Secure and Trusted Verification | Cai, Yixian |
Dec-2004 | USE OF TABULAR EXPRESSIONS IN THE INSPECTION OF CONCURRENT PROGRAMS | Jin, Xiao-Hui |
Showing results 1 to 2 of 2