G. Berry

发表

Gérard Berry, Laurent Cosserat, G. Berry, 1984, Seminar on Concurrency.
S. Ramesh, R. K. Shyamasundar, G. Berry, 1993, POPL '93.
Albert Benveniste, Gérard Berry, A. Benveniste, 1991 .
Gérard Berry, Georges Gonthier, Philippe Couronne, 1988 .
G. Berry, H. Toma, E. Sentovich, 1997, Proceedings of the 34th Design Automation Conference.
Gérard Berry, Georges Gonthier, G. Berry, 1992, Sci. Comput. Program..
Gérard Berry, Gérard Boudol, G. Berry, 1989, POPL '90.
A. Benveniste, G. Berry, 1991, Proc. IEEE.
C. A. R. Hoare, G. Berry, W. A. Hunt, 1992 .
G. Berry, Lionel Rieg, 2019, ArXiv.
Enrico Nardelli, Jan Vahrenhold, Judith Gal-Ezer, 2017 .
Ilaria Castellani, Manuel Serrano, Tamara Rezk, 2013 .
Gérard Berry, G. Berry, 2000, Proof, Language, and Interaction.
G. Berry, Lionel Rieg, 2019, ArXiv.
Bruno Courcelle, Gérard Berry, G. Berry, 1976, ICALP.
G. Berry, Michael Mendler, T. Shiple, 2012, Formal Methods in System Design.
G. Berry, E. Sentovich, 2001, CHARME.
Manuel Serrano, Cyprien Nicolas, Gérard Berry, 2011, PLASTIC '11.
Amar Bouali, Lionel Blanc, Gérard Berry, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
Ellen Sentovich, Gérard Berry, G. Berry, 2000, Formal Methods Syst. Des..
Robert de Simone, Amar Bouali, Gérard Berry, 2000, Sci. Comput. Program..
Thomas R. Shiple, Gérard Berry, Hervé J. Touati, 1996, Proceedings ED&TC European Design and Test Conference.
Gérard Berry, G. Berry, 1996 .
Gérard Berry, G. Berry, 1993, FSTTCS.
Gérard Berry, G. Berry, 1992, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
Gérard Berry, G. Berry, 1992 .
Gérard Berry, G. Berry, 1992, NATO ASI PDC.
Gérard Berry, Ravi Sethi, G. Berry, 1986, Theor. Comput. Sci..
Gérard Berry, G. Berry, 1981, ICFPC.
Michael Mendler, Thomas R. Shiple, Gérard Berry, 2012, Formal Methods Syst. Des..
G. Berry, H. Toma, E. Sentovich, 1996, Proceedings of International Conference on Computer Aided Design.
Gérard Berry, G. Berry, 2007, 2007 IEEE International High Level Design Validation and Test Workshop.
Michael Kishinevsky, Gérard Berry, Laurent Arditi, 2004, FMCAD.
Stephen A. Edwards, Dumitru Potop-Butucaru, Gérard Berry, 2007 .
Manuel Serrano, Gérard Berry, G. Berry, 2012, CACM.
Jean-Jacques Lévy, Gérard Berry, G. Berry, 1979, MFCS.
Gérard Berry, G. Berry, 1978, ICALP.
Jean-Jacques Lévy, Gérard Berry, G. Berry, 1977, JACM.
Manuel Serrano, Gérard Berry, G. Berry, 2013, ICDCIT.
Gérard Berry, G. Berry, 1989, IFIP Congress.
Manuel Serrano, Gérard Berry, Colin Vidal, 2018, SAC.
Pierre-Louis Curien, G. Berry, G. Berry, 1982, Theor. Comput. Sci..