Pierre Corbineau
Send a private message to this author
Send a message
Your email address (Required)
Subject (Required)
Text of your message: (Required)
Please leave this field empty:
Articles by this author
Models of Distributed Algorithms
Friday 16 October 2020
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
[Master] Design and Evaluation of Strategies for Automated Proofs using Reasoning Modulo Equivalence
Sunday 15 October 2023
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
All authors
Ananda Basu
Andreas
Ayoub Nouri
Benoit Boyer
bouhadiba
boulme
Bouyssounouse
bozga
Bruno Ferres
Catherine Parent-Vigouroux
Claire Maiza
cristian.ene@univ-grenoble-alpes.fr
dang
Devismes
devismes
Florence Maraninchi
Florent Garnier
frehse
gerbaud
graf
halbwachs
invite
Jacques Combaz
jahier
jarabo
Jobstmann
karine
lafourcade
Lebeltel
Lionel Rieg
maler
Mayur Maheshwari
monin
monniaux
mounier
moy
Nicolas Basset
perin
Petro Poplavko
Pierre Corbineau
potet
poulhies
Radu Iosif
raymond
stef
Victor Magron
Browsing
Sections
Verimag
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
PACS
MOHYTOS
Shared Resources
ETiCS
FETLAS
Formal Proofs
Contact
Whom to contact
How to reach us
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
4121955
English
Français