Skip to content
Snippets Groups Projects

2 postdoc and 1 PhD positions on runtime verification

Merged 2 postdoc and 1 PhD positions on runtime verification
jobs/e-acsl-2021-0 into master
Merged Allan Blanchard requested to merge jobs/e-acsl-2021-0 into master
Compare
and
4 files
+ 261
− 1
Compare changes
  • Side-by-side
  • Inline
Files
4
_events/framac-23.1.md
+ 1
− 1
---
---
layout: default
layout: default
date: "21-07-2021"
date: "21-07-2021"
event: Frama-C 23.1 (Vanadium)
short_title: Frama-C 23.1 (Vanadium)
title: Release of Frama-C 23.1 (Vanadium)
title: Release of Frama-C 23.1 (Vanadium)
link: /fc-versions/vanadium.html
link: /fc-versions/vanadium.html
---
---