Abstract
In this paper, we briefly describe our experience in the field of analysis and transformation of logic programs. Although now we work in completely different fields, verification of security properties on the one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.
Get full access to this article
View all access options for this article.