You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 1 results:

BibTex

Filters: Author is Alessandro Fantechi [Clear All Filters]

2009

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Using Datalog and Boolean Equation Systems for Program Analysis”, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.