Author: "Gilles Bernot" / Journal: amast - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Gilles Bernot"' showing total 3 results

Start Over Author "Gilles Bernot" Journal amast

3 results on '"Gilles Bernot"'

1. Towards Heterogeneous Formal Specification.

Author: Gilles Bernot, Sophie Coudert, and Pascale Le Gall
Published: 1996
Full Text: View/download PDF

2. A Formal Approach to Software Testing.

Author: Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre
Published: 1991

3. Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.

Author: Gilles Bernot and Michel Bidoit
Published: 1991

Catalog

Books, media, physical & digital resources

See catalog results