Modal Contracts for Component-Based Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregor Goessler, Jean-Baptiste Raclet. Modal Contracts for Component-Based Design. In Dang Van Hung, Padmanabhan Krishnan, editors, Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. pages 295-303, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Gregor Goessler' in GoogleThis author has not been identified. Look up 'Jean-Baptiste Raclet' in Google

runs on WebDSL