You are here

Publications

Export 1 results:
Filters: Author is Nieuwenhuis, R.  [Clear All Filters]
2001
M. Comini, Gori, R., and Levi, G., How to Transform an Analyzer into a Verifier, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.