SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:functional_dependencies [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

Site Tools


mantis:frama-c:functional_dependencies

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
mantis:frama-c:functional_dependencies [2011/10/05 11:01]
virgile
mantis:frama-c:functional_dependencies [2011/10/05 11:03] (current)
virgile
Line 2: Line 2:
 **Functional Dependencies of C Functions via Weakest Pre-Conditions**\\ ​ **Functional Dependencies of C Functions via Weakest Pre-Conditions**\\ ​
 //Software Tools for Technology Transfer, 13:5, October 2011// //Software Tools for Technology Transfer, 13:5, October 2011//
-{{:​mantis:​frama-c:​articles:​functional_dependencies.txt|Bibtex}}+
 === Abstract === === Abstract ===
  
mantis/frama-c/functional_dependencies.txt ยท Last modified: 2011/10/05 11:03 by virgile