Franck Cassez (NICTA)
Identifiers
- name variant Franck Cassez (NICTA) 0.60 · backfill
Papers (1)
- Proceedings Seventh Conference on Systems Software Verification cs.SE · 2012 · author #1
Mentions
- 1211.5873 #1 · backfill · confidence 0.70 Franck Cassez (NICTA)
Frequent Coauthors
- Bastian Schlich (ABB) 1 shared papers
- Gerwin Klein (NICTA 1 shared papers
- Ralf Huuck (NICTA 1 shared papers
- UNSW) 1 shared papers