Dynamic Testing from Bounded Data Type Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Agnès Arnould, Pascale Le Gall, Bruno Marre. Dynamic Testing from Bounded Data Type Specifications. In Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini, editors, Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings. Volume 1150 of Lecture Notes in Computer Science, pages 285-302, Springer, 1996.

This author has not been identified. Look up 'Agnès Arnould' in GoogleThis author has not been identified. Look up 'Pascale Le Gall' in GoogleThis author has not been identified. Look up 'Bruno Marre' in Google

runs on WebDSL