Publications and Conference Material

This page classifies and lists current literature and conference material that is considered to be of interest in the field of symbolic methods and related software tools. It should by no means be regarded as being complete, instead, just as an interesting starting point. Should you think of any articles and material that are missing and should be included (preferably material that is available on the Web), please feel free to contact us by sending an email to the AG Chairs.

Publications in Journals

Publications in Proceedings