Franck Cassez (NICTA)

Identifiers

• name variant Franck Cassez (NICTA) 0.60 · backfill

Papers (1)

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