An automatically refereed scholarly electronic journal: Formal specifications

MIZZARO, Stefano

ZANDEGIACOMO RIZIO' Paolo