DIPARTIMENTO   DI   INFORMATICA
Università di Torino
THE GROUP'S LOGO
Research on "Formal Methods in Computing"


Publications (most of the papers antecedent to 1995 are not available.)

Click Search for all the available publications or compile the following form to select the bibliography items.

Keys:
Authors:
(Click here for all the available publications in bibtex format.)


[ "Formal Methods in Computing" group] [Department's HOME]
If you are interested in papers which are not available, please, contact directly the author(s).