The COST IC0701 Verification Competition 2011 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich. The COST IC0701 Verification Competition 2011. In Bernhard Beckert, Ferruccio Damiani, Dilian Gurov, editors, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Volume 7421 of Lecture Notes in Computer Science, pages 3-21, Springer, 2011. [doi]

This author has not been identified. Look up 'Thorsten Bormer' in GoogleThis author has not been identified. Look up 'Marc Brockschmidt' in GoogleThis author has not been identified. Look up 'Dino Distefano' in GoogleThis author has not been identified. Look up 'Gidon Ernst' in GoogleThis author has not been identified. Look up 'Jean-Christophe Filliâtre' in GoogleThis author has not been identified. Look up 'Radu Grigore' in GoogleThis author has not been identified. Look up 'Marieke Huisman' in GoogleThis author has not been identified. Look up 'Vladimir Klebanov' in GoogleThis author has not been identified. Look up 'Claude Marché' in GoogleThis author has not been identified. Look up 'Rosemary Monahan' in GoogleThis author has not been identified. Look up 'Wojciech Mostowski' in GoogleThis author has not been identified. Look up 'Nadia Polikarpova' in GoogleThis author has not been identified. Look up 'Christoph Scheben' in GoogleThis author has not been identified. Look up 'Gerhard Schellhorn' in GoogleThis author has not been identified. Look up 'Bogdan Tofan' in GoogleIdentified as Julian Tschannen This author has not been identified. Look up 'Mattias Ulbrich' in Google

runs on WebDSL