JAIST Repository >

Items for Author "Gaina, Daniel"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 3 items.

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

 


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