Skip to main content
Department of Information Technology

Algorithmic Program Verification 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: "./"

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/*".

Updated  2007-05-02 10:58:33 by Noomene Ben Henda.