Francesco Pagliarecci

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Linear Temporal Logic

Automated Verification

Semantically Annotated

Top Venues

Description Logics

Future Gener. Comput. Syst.

IEEE Trans. Software Eng.

Publications