User menu

A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language

Bibliographic reference Castro Mejia, Sergio. A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language.  Prom. : Mens, Kim
Permanent URL http://hdl.handle.net/2078.1/151203