JAIST Repository >

Items for Author "Gaina, Daniel"

Return to Browse by Author
Sorting by Title Sort by Date

Showing 3 items.

Date of IssueTitle Authors
29-May-2009 Constructor-based InstitutionsGaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
15-Dec-2014 Sufficient completeness of parameterized specifications in CafeOBJNakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi
Sep-2009 Theorem Proving and InstitutionsGaina, Daniel


Contact : Library Information Section, Japan Advanced Institute of Science and Technology