Algorithmic Program Verification publications
Here is a sorted list of the APV's publications.
In order to add an entry or edit the publications list, please follow the following steps:
- Enter the following directory: "cd /it/www/htdocs/it/research/docs/fm/apv/publications/"
- Update the "apvbib.bib" file accordingly. There is a small howto in the begining of the file.
- In case you are adding an entry don't forget to add the ps/pdf file in the subdirectory: "files/".
- Run the update script: "./update.sh"
It is important that the access rights are restored afterwards. The script does that but, once you are done, please check that group members have still total access; otherwise run: "chmod 775 * bibhtml/* pic/* files/*".